(=>     (orientation ?OBJ1 ?OBJ2 On)     (connected ?OBJ1 ?OBJ2))	Merge.kif 17168-17170	Wenn Object ist On hinsichlich ** Object %n{nicht}, dann ** Object wird an ** ** Object angeschlossen
(=>     (orientation ?OBJ1 ?OBJ2 On)     (located ?OBJ1 ?OBJ2))	Merge.kif 17172-17174	Wenn Object ist On hinsichlich ** Object %n{nicht}, dann ** Object befindet sich an %n{nicht}
(=>     (orientation ?OBJ1 ?OBJ2 On)     (not         (orientation ?OBJ2 ?OBJ1 On)))	Merge.kif 17180-17183	Wenn Object ist On hinsichlich ** Object %n{nicht}, dann ** ** Object ist On hinsichlich ** Object nicht
(=>     (orientation ?OBJ1 ?OBJ2 Surrounded)     (forall (?X)         (=>             (side ?X ?OBJ1)             (meetsSpatially ?X ?OBJ2))))	Mid-level-ontology.kif 25997-26002	Wenn SelfConnectedObject ist Surrounded hinsichlich Object %n{nicht}, dann fuer alle ** SelfConnectedObject wenn eine seite von ** SelfConnectedObject ist ** ** SelfConnectedObject, dann ** ** SelfConnectedObject schliesst ** Object raeumlich an
(=>     (orientation ?OBJ1 ?OBJ2 Upstairs)     (exists (?LEVEL1 ?LEVEL2 ?BUILDING)         (and             (instance ?LEVEL1 BuildingLevel)             (instance ?LEVEL2 BuildingLevel)             (instance ?BUILDING Building)             (part ?LEVEL1 ?BUILDING)             (part ?LEVEL2 ?BUILDING)             (located ?OBJ1 ?LEVEL1)             (located ?OBJ2 ?LEVEL2)             (orientation ?LEVEL1 ?LEVEL2 Above))))	Mid-level-ontology.kif 19219-19230	Wenn Object ist Upstairs hinsichlich ** Object %n{nicht}, dann es gibt ** Object, ** Object, and und ** Object um ** ** Object ist ein fall von BuildingLevel %n{nicht} und ** ** Object ist ein fall von BuildingLevel %n{nicht} und ** ** Object ist ein fall von Building %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht} und ** ** Object ist ein teil von ** ** Object %n{nicht} und ** Object befindet sich an %n{nicht} und ** ** Object befindet sich an %n{nicht} und ** ** Object ist Above hinsichlich ** ** Object %n{nicht}
(=>     (orientation ?ONE ?TWO Adjacent)     (orientation ?TWO ?ONE Adjacent))	Geography.kif 716-718	Wenn Object ist Adjacent hinsichlich ** Object %n{nicht}, dann ** ** Object ist Adjacent hinsichlich ** Object %n{nicht}
(=>     (orientation ?ONE ?TWO Near)     (orientation ?TWO ?ONE Near))	Geography.kif 720-722	Wenn Object ist Near hinsichlich ** Object %n{nicht}, dann ** ** Object ist Near hinsichlich ** Object %n{nicht}

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