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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Door
Door(door)
arrival_gate, barn_door, batwing, cargo_door, departure_gate, door, exterior_door, front_door, front_entrance, gate, outside_door, revolver, revolving_door, storm_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 12999-13003
(externalImage Door "http://upload.wikimedia.org/wikipedia/commons/6/61/ GeorgianischeTuer.JPG") pictureList.kif 80-80
(relatedInternalConcept Door VehicleDoor) Mid-level-ontology.kif 27590-27590 Door is internally related to VehicleDoor
(subclass Door Device) Mid-level-ontology.kif 12996-12996 Door is a subclass of device
(subclass Door TransitwayObstacle) Mid-level-ontology.kif 12995-12995 Door is a subclass of transitway obstacle

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


(termFormat ChineseLanguage Door "门") domainEnglishFormat.kif 20113-20113
(termFormat ChineseTraditionalLanguage Door "門") domainEnglishFormat.kif 20112-20112
(termFormat EnglishLanguage Door "door") domainEnglishFormat.kif 20111-20111

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 23822-23835
(=>
    (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 23802-23819
(=>
    (instance ?DOOR Door)
    (exists (?ARTIFACT)
        (and
            (part ?DOOR ?ARTIFACT)
            (or
                (instance ?ARTIFACT Building)
                (instance ?ARTIFACT Room)))))
Mid-level-ontology.kif 13038-13045
(=>
    (instance ?DOOR Door)
    (exists (?WAY)
        (and
            (part ?DOOR ?WAY)
            (instance ?WAY Doorway))))
Mid-level-ontology.kif 13005-13010

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 12977-12988
(=>
    (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 2374-2384


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