IrreflexiveRelation

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


(instance increasesLikelihood IrreflexiveRelation) Merge.kif 2595-2595
(instance inverse IrreflexiveRelation) Merge.kif 107-107
(instance larger IrreflexiveRelation) Merge.kif 7750-7750
(instance lessThan IrreflexiveRelation) Merge.kif 1833-1833
(instance manner IrreflexiveRelation) Merge.kif 1728-1728
(instance meetsSpatially IrreflexiveRelation) Merge.kif 9571-9571
(instance modalAttribute IrreflexiveRelation) Merge.kif 17299-17299
(instance neighbor IrreflexiveRelation) Mid-level-ontology.kif 6664-6664
(instance operator IrreflexiveRelation) Mid-level-ontology.kif 22765-22765
(instance oppositeDirection IrreflexiveRelation) Mid-level-ontology.kif 18125-18125
(instance overlapsPartially IrreflexiveRelation) Merge.kif 9612-9612
(instance prevents IrreflexiveRelation) Merge.kif 4365-4365
(instance preventsSubclass IrreflexiveRelation) Merge.kif 4335-4335
(instance sibling IrreflexiveRelation) Merge.kif 16464-16464
(instance sister IrreflexiveRelation) Merge.kif 16509-16509
(instance smaller IrreflexiveRelation) Merge.kif 7772-7772
(instance spouse IrreflexiveRelation) Merge.kif 16559-16559
(instance starts IrreflexiveRelation) Merge.kif 8035-8035
(instance subField IrreflexiveRelation) Mid-level-ontology.kif 21341-21341
(instance subPlan IrreflexiveRelation) Merge.kif 4656-4656
(instance subProposition IrreflexiveRelation) Merge.kif 4635-4635
(instance successorAttributeClosure IrreflexiveRelation) Merge.kif 728-728
(instance superficialPart IrreflexiveRelation) Merge.kif 9651-9651
(instance wife IrreflexiveRelation) Merge.kif 16580-16580
(subclass AsymmetricRelation IrreflexiveRelation) Merge.kif 2274-2274

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