Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  airTemperature

Sigma KEE - Door
Door
بوّابة,

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


(documentation Door EnglishLanguage "An Artifact that restricts and permits access to a StationaryArtifact (e.g. Building or Room) depending on whether the Door is open or locked. Note that the class Door also covers gates, because it is not possible to define objective criteria that reliably distinguish doors from gates.") Mid-level-ontology.kif 12687-12691
(externalImage Door "http://upload.wikimedia.org/wikipedia/commons/6/61/ GeorgianischeTuer.JPG") pictureList.kif 80-80
(relatedInternalConcept Door VehicleDoor) Mid-level-ontology.kif 27092-27092
(subclass Door Device) Mid-level-ontology.kif 12684-12684
(subclass Door TransitwayObstacle) Mid-level-ontology.kif 12683-12683

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


(termFormat EnglishLanguage Door "door") domainEnglishFormat.kif 3786-3786

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


(=>
    (and
        (instance ?KL KnockLight)
        (attribute ?X Deaf)
        (located ?KL ?LOC)
        (located ?X ?LOC)
        (instance ?DOOR Door)
        (part ?DOOR ?LOC))
    (hasPurposeForAgent ?KL
        (knows ?X
            (exists (?KNOCK)
                (and
                    (instance ?KNOCK Impacting)
                    (patient ?KNOCK ?DOOR)))) ?X))
Mid-level-ontology.kif 23316-23329
(=>
    (and
        (instance ?KL KnockLight)
        (instance ?ROOM Room)
        (located ?KL ?ROOM)
        (instance ?DOOR Door)
        (part ?DOOR ?ROOM))
    (hasPurpose ?KL
        (exists (?SOUND ?LIGHT ?IMPACT)
            (and
                (instance ?IMPACT Impacting)
                (patient ?IMPACT ?DOOR)
                (causes ?IMPACT ?SOUND)
                (instance ?SOUND RadiatingSound)
                (agent ?SOUND ?DOOR)
                (causes ?SOUND ?LIGHT)
                (instance ?LIGHT RadiatingLight)
                (agent ?LIGHT ?KL)))))
Mid-level-ontology.kif 23296-23313
(=>
    (instance ?DOOR Door)
    (exists (?ARTIFACT)
        (and
            (part ?DOOR ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))
Mid-level-ontology.kif 12726-12733
(=>
    (instance ?DOOR Door)
    (exists (?WAY)
        (and
            (part ?DOOR ?WAY)
            (instance ?WAY Doorway))))
Mid-level-ontology.kif 12693-12698

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 12665-12676
(=>
    (attribute ?X Doorman)
    (hasPurpose ?X
        (exists (?DOOR ?PROC)
            (and
                (instance ?DOOR Door)
                (agent ?PROC ?X)
                (patient ?PROC ?DOOR)
                (or
                    (instance ?PROC Opening)
                    (instance ?PROC Closing))))))
Hotel.kif 2369-2379


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners