IrreflexiveRelation(irreflexive relation)

-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 7350-7350 larger is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1741-1741 less than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1632-1632 manner is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8996-8996 meets spatially is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 16090-16090 modal attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6303-6303 neighbor is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20677-20677 operator is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15845-15845 opposite direction is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9038-9038 overlaps partially is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5591-5591 path length is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2144-2144 power component is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4199-4199 prevents is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4169-4169 preventsSubclass is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15293-15293 sibling is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15338-15338 sister is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7372-7372 smaller is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15388-15388 spouse is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7621-7621 starts is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19028-19028 sub field is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4466-4466 sub plan is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4445-4445 sub proposition is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 693-693 successor attribute closure is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9068-9068 superficial part is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15408-15408 wife is an instance of irreflexive relation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners