IrreflexiveRelation
(
instance
increasesLikelihood
IrreflexiveRelation
)
Merge.kif 2595-2595
vergroessertWahrscheinlichkeit
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
inverse
IrreflexiveRelation
)
Merge.kif 107-107
inverse
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
larger
IrreflexiveRelation
)
Merge.kif 7750-7750
larger
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
lessThan
IrreflexiveRelation
)
Merge.kif 1833-1833
kleinerAls
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
manner
IrreflexiveRelation
)
Merge.kif 1728-1728
weise
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
meetsSpatially
IrreflexiveRelation
)
Merge.kif 9571-9571
meetsSpatially
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
modalAttribute
IrreflexiveRelation
)
Merge.kif 17299-17299
modalAttribute
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
neighbor
IrreflexiveRelation
)
Mid-level-ontology.kif 6664-6664
neighbor
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
operator
IrreflexiveRelation
)
Mid-level-ontology.kif 22765-22765
operator
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
oppositeDirection
IrreflexiveRelation
)
Mid-level-ontology.kif 18125-18125
oppositeDirection
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
overlapsPartially
IrreflexiveRelation
)
Merge.kif 9612-9612
overlapsPartially
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
prevents
IrreflexiveRelation
)
Merge.kif 4365-4365
verhindert
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
preventsSubclass
IrreflexiveRelation
)
Merge.kif 4335-4335
preventsSubclass
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
sibling
IrreflexiveRelation
)
Merge.kif 16464-16464
sibling
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
sister
IrreflexiveRelation
)
Merge.kif 16509-16509
sister
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
smaller
IrreflexiveRelation
)
Merge.kif 7772-7772
smaller
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
spouse
IrreflexiveRelation
)
Merge.kif 16559-16559
spouse
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
starts
IrreflexiveRelation
)
Merge.kif 8035-8035
starts
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
subField
IrreflexiveRelation
)
Mid-level-ontology.kif 21341-21341
subField
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
subPlan
IrreflexiveRelation
)
Merge.kif 4656-4656
teilplan
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
subProposition
IrreflexiveRelation
)
Merge.kif 4635-4635
teilangelegenheit
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
successorAttributeClosure
IrreflexiveRelation
)
Merge.kif 728-728
successorAttributeClosure
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
superficialPart
IrreflexiveRelation
)
Merge.kif 9651-9651
superficialPart
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
instance
wife
IrreflexiveRelation
)
Merge.kif 16580-16580
wife
ist ein
fall
von
IrreflexiveRelation
%n{nicht}
(
subclass
AsymmetricRelation
IrreflexiveRelation
)
Merge.kif 2274-2274
AsymmetricRelation
ist eine
teilkategorie
von
IrreflexiveRelation
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