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