(instance increasesLikelihood IrreflexiveRelation)	Merge.kif 2591-2591
(instance inverse IrreflexiveRelation)	Merge.kif 107-107
(instance larger IrreflexiveRelation)	Merge.kif 7820-7820
(instance lessThan IrreflexiveRelation)	Merge.kif 1828-1828
(instance manner IrreflexiveRelation)	Merge.kif 1723-1723
(instance meetsSpatially IrreflexiveRelation)	Merge.kif 9692-9692
(instance modalAttribute IrreflexiveRelation)	Merge.kif 17459-17459
(instance neighbor IrreflexiveRelation)	Mid-level-ontology.kif 7601-7601
(instance operator IrreflexiveRelation)	Mid-level-ontology.kif 24408-24408
(instance oppositeDirection IrreflexiveRelation)	Mid-level-ontology.kif 19696-19696
(instance overlapsPartially IrreflexiveRelation)	Merge.kif 9733-9733
(instance preventsSubclass IrreflexiveRelation)	Merge.kif 4348-4348
(instance sibling IrreflexiveRelation)	Merge.kif 16624-16624
(instance sister IrreflexiveRelation)	Merge.kif 16669-16669
(instance smaller IrreflexiveRelation)	Merge.kif 7842-7842
(instance spouse IrreflexiveRelation)	Merge.kif 16719-16719
(instance starts IrreflexiveRelation)	Merge.kif 8105-8105
(instance startsDuring IrreflexiveRelation)	Merge.kif 8185-8185
(instance subField IrreflexiveRelation)	Mid-level-ontology.kif 22958-22958
(instance subPlan IrreflexiveRelation)	Merge.kif 4669-4669
(instance subProposition IrreflexiveRelation)	Merge.kif 4648-4648
(instance successorAttributeClosure IrreflexiveRelation)	Merge.kif 721-721
(instance superficialPart IrreflexiveRelation)	Merge.kif 9772-9772
(instance wife IrreflexiveRelation)	Merge.kif 16740-16740
(subclass AsymmetricRelation IrreflexiveRelation)	Merge.kif 2270-2270
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