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 16156-16158
(instance AdjoiningRoom RelationalAttribute)	Mid-level-ontology.kif 16155-16155	Adjoining room is an instance of relational attribute

appearance as argument number 2

(termFormat EnglishLanguage AdjoiningRoom "adjoining room")

Mid-level-ontology.kif 16159-16159

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 16165-16176	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 16161-16163	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 16165-16176

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: