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

KB Term:  Term intersection
English Word: 

Sigma KEE - Doorway
Doorway(doorway)
door, doorway, room_access, threshold

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


(subclass Doorway StationaryArtifact) Mid-level-ontology.kif 16885-16885 Doorway is a subclass of stationary artifact
(documentation Doorway EnglishLanguage "A StationaryArtifact consisting of a frame that holds a Door.") Mid-level-ontology.kif 16886-16887 Doorway is a subclass of stationary artifact
(externalImage Doorway "http://upload.wikimedia.org/wikipedia/en/b/b4/Panel_door.jpg") pictureList.kif 1729-1729 Doorway is a subclass of stationary artifact

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


(termFormat EnglishLanguage Doorway "doorway") domainEnglishFormat.kif 20196-20196
(termFormat ChineseTraditionalLanguage Doorway "門口") domainEnglishFormat.kif 20197-20197
(termFormat ChineseLanguage Doorway "门口") domainEnglishFormat.kif 20198-20198

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


(=>
    (instance ?WAY Doorway)
    (exists (?ARTIFACT)
        (and
            (part ?WAY ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))		 Mid-level-ontology.kif 16889-16896 If X is an instance of doorway, then there exists Y such that X is a part of Y and Y is an instance of building or Y is an instance of room

consequent
-------------------------


(=>
    (instance ?DOOR Door)
    (exists (?WAY)
        (and
            (part ?DOOR ?WAY)
            (instance ?WAY Doorway))))		 Mid-level-ontology.kif 16840-16845 If X is an instance of door, then there exists Y such that X is a part of Y and Y is an instance of doorway


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners