Warning:
This wiki has been archived and is now read-only.
TC4a
From OWL
{{doesentail
|author=[[User:BijanParsia|BijanParsia]]
|level=OWLDL
|desc=This tests existential generalization from BNodes. This should hold under both variable and skolem semantics.
|source=http://www.w3.org/mid/617ADB0B-C189-4559-A53C-728BE0878654@cs.man.ac.uk
|approved=SUBMITTED
|inputsyntax=Functional
|premise =ObjectPropertyAssertion(:p :x _:y)
|conc=ClassAssertion(:x ObjectSomeValuesFrom(:p Thing))
}}