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