Assertion: ontology's structure | /r/CapableOf | satisfy axiom
Facets:
value: in o
type: LOCATION
Source sentences:
text: In other words, whether in each (relational) structure that satisfies all axioms in O, every instance of SBL is also one of SL .
text: Second, for each class name that occurs in O – i.e., for each element A in N, the reasoner tests whether there exists a model of O in which we find an instance x of A , i.e., whether there exists a (relational) structure that satisfies all the axioms in O and in which A has an instance, say x.