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

appearance as argument number 2

(termFormat EnglishLanguage AdjoiningRoom "adjoining room")

Mid-level-ontology.kif 15449-15449

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 15455-15466	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 15451-15453	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 15455-15466

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: