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 29295-29296
(subclass VehicleDoor Device) Mid-level-ontology.kif 29294-29294 VehicleDoor est une sous-classe de appareil
(typicalPart VehicleDoor Automobile) Mid-level-ontology.kif 29327-29327 typicalPart VehicleDoor and Automobile

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


(relatedInternalConcept Door VehicleDoor) Mid-level-ontology.kif 29297-29297 Door est reli� � l'int�rieur de SUMO � VehicleDoor
(termFormat EnglishLanguage VehicleDoor "vehicle door") domainEnglishFormat.kif 65698-65698

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


(=>
    (and
        (instance ?VD VehicleDoor)
        (attribute ?VD DeviceNormal))
    (and
        (capability Opening patient ?VD)
        (capability Closing patient ?VD)))
Mid-level-ontology.kif 29319-29325
(=>
    (instance ?VD VehicleDoor)
    (hasPurpose ?VD
        (exists (?C)
            (and
                (instance ?C Closing)
                (patient ?C ?VD)))))
Mid-level-ontology.kif 29311-29317
(=>
    (instance ?VD VehicleDoor)
    (hasPurpose ?VD
        (exists (?O)
            (and
                (instance ?O Opening)
                (patient ?O ?VD)))))
Mid-level-ontology.kif 29303-29309


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