TreeView Knowledge Base Browser - VehicleDoor

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - VehicleDoor

VehicleDoor(vehicle door)

car_door, hatchback, hatchback_door

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29366-29367
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29365-29365	Vehicle door is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29398-29398	A vehicle door is typically a part of a automobile

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29368-29368	Door is internally related to vehicle door
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65686-65686

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29390-29396	If an object is an instance of vehicle door and device normal is an attribute of the object, then the object is capable of doing opening as a patient and the object is capable of doing closing as a patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29382-29388	If a physical is an instance of vehicle door, then the physical has the purpose there exists an entity such that the entity is an instance of closing and the physical is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29374-29380	If a physical is an instance of vehicle door, then the physical has the purpose there exists an entity such that the entity is an instance of opening and the physical is a patient of the entity

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