BrakePedal - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BrakePedal

BrakePedal(brake pedal)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 679-683
No TPTP formula. May not be expressible in strict first order.	Cars.kif 677-677	Brake pedal is a subclass of device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Cars.kif 678-678

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 693-707	If an object is an instance of brake pedal and a process is an instance of pushing and another object is an instance of vehicle and the process ends up at the object and the process is located at the other object and the object is a part of the other object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of wearing friction surface and the other entity is an instance of friction and the entity is an instrument for the other entity and the process causes the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 685-691	If a physical is an instance of brake pedal, then the physical has the purpose there exists an entity such that the entity is an instance of pushing and the entity ends up at the physical

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