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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VehicleDoor

Sigma KEE - VehicleDoor
VehicleDoor

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


(documentation VehicleDoor EnglishLanguage "An equivalent to a Door but in a Vehicle, rather than a StationaryObject.") Mid-level-ontology.kif 29294-29295
(subclass VehicleDoor Device) Mid-level-ontology.kif 29293-29293
(typicalPart VehicleDoor Automobile) Mid-level-ontology.kif 29326-29326

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


(relatedInternalConcept Door VehicleDoor) Mid-level-ontology.kif 29296-29296
(termFormat EnglishLanguage VehicleDoor "vehicle door") domainEnglishFormat.kif 65772-65772

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


(=>
    (and
        (instance ?VD VehicleDoor)
        (attribute ?VD DeviceNormal))
    (and
        (capability Opening patient ?VD)
        (capability Closing patient ?VD)))
Mid-level-ontology.kif 29318-29324
(=>
    (instance ?VD VehicleDoor)
    (hasPurpose ?VD
        (exists (?C)
            (and
                (instance ?C Closing)
                (patient ?C ?VD)))))
Mid-level-ontology.kif 29310-29316
(=>
    (instance ?VD VehicleDoor)
    (hasPurpose ?VD
        (exists (?O)
            (and
                (instance ?O Opening)
                (patient ?O ?VD)))))
Mid-level-ontology.kif 29302-29308


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 is open source software produced by Articulate Software and its partners