AdjoiningRoom - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AdjoiningRoom EnglishLanguage "AdjoiningRoom describes a Room that has another Room Adjacent to it, and a doorway existing on their common wall to allow access from one room to another")	Mid-level-ontology.kif 16619-16621
(instance AdjoiningRoom RelationalAttribute)	Mid-level-ontology.kif 16618-16618	Adjoining room is an instance of relational attribute

appearance as argument number 2

(termFormat EnglishLanguage AdjoiningRoom "adjoining room")

Mid-level-ontology.kif 16622-16622

antecedent

(=> (attribute ?X AdjoiningRoom) (exists (?ROOM ?WALL ?DOOR) (and (attribute ?ROOM AdjoiningRoom) (not (equal ?ROOM ?X)) (orientation ?X ?ROOM Adjacent) (instance ?WALL Wall) (part ?WALL ?ROOM) (part ?WALL ?X) (instance ?DOOR Door) (part ?DOOR ?WALL))))	Mid-level-ontology.kif 16628-16639	If adjoining room is an attribute of an object, then there exist another object, a third object and a fourth object such that adjoining room is an attribute of the other object and the other object is not equal to the object and the object is adjacent to the other object and the third object is an instance of wall and the third object is a part of the other object and the third object is a part of the object and the fourth object is an instance of door and the fourth object is a part of the third object
(=> (attribute ?X AdjoiningRoom) (instance ?X Room))	Mid-level-ontology.kif 16624-16626	If adjoining room is an attribute of an object, then the object is an instance of room

consequent

(=>
    (attribute ?X AdjoiningRoom)
    (exists (?ROOM ?WALL ?DOOR)
        (and
            (attribute ?ROOM AdjoiningRoom)
            (not
                (equal ?ROOM ?X))
            (orientation ?X ?ROOM Adjacent)
            (instance ?WALL Wall)
            (part ?WALL ?ROOM)
            (part ?WALL ?X)
            (instance ?DOOR Door)
            (part ?DOOR ?WALL))))

Mid-level-ontology.kif 16628-16639

If adjoining room is an attribute of an object,
then there exist another object, a third object and a fourth object such that adjoining room is an attribute of the other object and the other object is not equal to the object and the object is adjacent to the other object and the third object is an instance of wall and the third object is a part of the other object and the third object is a part of the object and the fourth object is an instance of door and the fourth object is a part of the third object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: