Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  AdjoiningRoom

 Sigma KEE - AdjoiningRoom
AdjoiningRoom(adjoining room)adjoining_room, connecting_room

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage AdjoiningRoom "adjoining room") Mid-level-ontology.kif 16806-16806

antecedent
-------------------------


(=>
    (attribute ?X AdjoiningRoom)
    (instance ?X Room))		 Mid-level-ontology.kif 16808-16810 If adjoining room is an attribute of X, then X is an instance of room
(=>
    (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 16812-16823 If adjoining room is an attribute of X, then All of the following hold: (1) there exist Y, Z (2) W such that adjoining room is an attribute of Y (3) equal Y (4) X (5) X is adjacent to Y (6) Z is an instance of wall (7) Z is a part of Y (8) Z is a part of X (9) W is an instance of door (10) W is a part of Z

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 16812-16823 If adjoining room is an attribute of X, then All of the following hold: (1) there exist Y, Z (2) W such that adjoining room is an attribute of Y (3) equal Y (4) X (5) X is adjacent to Y (6) Z is an instance of wall (7) Z is a part of Y (8) Z is a part of X (9) W is an instance of door (10) W is a part of Z


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners