(instance increasesLikelihood IrreflexiveRelation)	Merge.kif 2595-2595
(instance inverse IrreflexiveRelation)	Merge.kif 107-107
(instance larger IrreflexiveRelation)	Merge.kif 7772-7772
(instance lessThan IrreflexiveRelation)	Merge.kif 1833-1833
(instance manner IrreflexiveRelation)	Merge.kif 1728-1728
(instance meetsSpatially IrreflexiveRelation)	Merge.kif 9593-9593
(instance modalAttribute IrreflexiveRelation)	Merge.kif 17321-17321
(instance neighbor IrreflexiveRelation)	Mid-level-ontology.kif 6663-6663
(instance operator IrreflexiveRelation)	Mid-level-ontology.kif 22764-22764
(instance oppositeDirection IrreflexiveRelation)	Mid-level-ontology.kif 18124-18124
(instance overlapsPartially IrreflexiveRelation)	Merge.kif 9634-9634
(instance prevents IrreflexiveRelation)	Merge.kif 4365-4365
(instance preventsSubclass IrreflexiveRelation)	Merge.kif 4335-4335
(instance sibling IrreflexiveRelation)	Merge.kif 16486-16486
(instance sister IrreflexiveRelation)	Merge.kif 16531-16531
(instance smaller IrreflexiveRelation)	Merge.kif 7794-7794
(instance spouse IrreflexiveRelation)	Merge.kif 16581-16581
(instance starts IrreflexiveRelation)	Merge.kif 8057-8057
(instance subField IrreflexiveRelation)	Mid-level-ontology.kif 21340-21340
(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 9673-9673
(instance wife IrreflexiveRelation)	Merge.kif 16602-16602
(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