(instance larger IrreflexiveRelation)	Merge.kif 7376-7376
(instance lessThan IrreflexiveRelation)	Merge.kif 1745-1745
(instance manner IrreflexiveRelation)	Merge.kif 1636-1636
(instance meetsSpatially IrreflexiveRelation)	Merge.kif 9027-9027
(instance modalAttribute IrreflexiveRelation)	Merge.kif 16142-16142
(instance neighbor IrreflexiveRelation)	Mid-level-ontology.kif 5703-5703
(instance operator IrreflexiveRelation)	Mid-level-ontology.kif 19201-19201
(instance oppositeDirection IrreflexiveRelation)	Mid-level-ontology.kif 14698-14698
(instance overlapsPartially IrreflexiveRelation)	Merge.kif 9071-9071
(instance pathLength IrreflexiveRelation)	Merge.kif 5608-5608
(instance powerComponent IrreflexiveRelation)	Mid-level-ontology.kif 1668-1668
(instance prevents IrreflexiveRelation)	Merge.kif 4211-4211
(instance preventsSubclass IrreflexiveRelation)	Merge.kif 4181-4181
(instance sibling IrreflexiveRelation)	Merge.kif 15340-15340
(instance sister IrreflexiveRelation)	Merge.kif 15385-15385
(instance smaller IrreflexiveRelation)	Merge.kif 7398-7398
(instance spouse IrreflexiveRelation)	Merge.kif 15435-15435
(instance starts IrreflexiveRelation)	Merge.kif 7649-7649
(instance subField IrreflexiveRelation)	Mid-level-ontology.kif 17715-17715
(instance subPlan IrreflexiveRelation)	Merge.kif 4480-4480
(instance subProposition IrreflexiveRelation)	Merge.kif 4459-4459
(instance successorAttributeClosure IrreflexiveRelation)	Merge.kif 693-693
(instance superficialPart IrreflexiveRelation)	Merge.kif 9101-9101
(instance wife IrreflexiveRelation)	Merge.kif 15456-15456
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