(instance increasesLikelihood IrreflexiveRelation)	Merge.kif 2595-2595
(instance inverse IrreflexiveRelation)	Merge.kif 107-107
(instance larger IrreflexiveRelation)	Merge.kif 7786-7786
(instance lessThan IrreflexiveRelation)	Merge.kif 1833-1833
(instance manner IrreflexiveRelation)	Merge.kif 1728-1728
(instance meetsSpatially IrreflexiveRelation)	Merge.kif 9607-9607
(instance modalAttribute IrreflexiveRelation)	Merge.kif 17370-17370
(instance neighbor IrreflexiveRelation)	Mid-level-ontology.kif 6658-6658
(instance operator IrreflexiveRelation)	Mid-level-ontology.kif 22817-22817
(instance oppositeDirection IrreflexiveRelation)	Mid-level-ontology.kif 18152-18152
(instance overlapsPartially IrreflexiveRelation)	Merge.kif 9648-9648
(instance prevents IrreflexiveRelation)	Merge.kif 4366-4366
(instance preventsSubclass IrreflexiveRelation)	Merge.kif 4336-4336
(instance sibling IrreflexiveRelation)	Merge.kif 16535-16535
(instance sister IrreflexiveRelation)	Merge.kif 16580-16580
(instance smaller IrreflexiveRelation)	Merge.kif 7808-7808
(instance spouse IrreflexiveRelation)	Merge.kif 16630-16630
(instance starts IrreflexiveRelation)	Merge.kif 8071-8071
(instance subField IrreflexiveRelation)	Mid-level-ontology.kif 21368-21368
(instance subPlan IrreflexiveRelation)	Merge.kif 4657-4657
(instance subProposition IrreflexiveRelation)	Merge.kif 4636-4636
(instance successorAttributeClosure IrreflexiveRelation)	Merge.kif 728-728
(instance superficialPart IrreflexiveRelation)	Merge.kif 9687-9687
(instance wife IrreflexiveRelation)	Merge.kif 16651-16651
(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