TreeView Knowledge Base Browser - Lever

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Lever

Lever(lever)

compound_lever, crowbar, foot_lever, foot_pedal, hand_throttle, lever, pedal, pinch_bar, pry, pry_bar, ripping_bar, spark_lever, tappet, tire_iron, tire_tool, treadle, wrecking_bar

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1319-1324
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1325-1325
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1317-1317	Lever is a subclass of device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1362-1362	Gun trigger is a subclass of lever
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1318-1318

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1332-1355	If an object is an instance of lever and a process is an instance of pushing and a physical is an instance of motion and an unit of measure is an instance of unit of length and the process ends up at another object and one end of the object is the other object and one end of the object is a third object and the other object is not equal to the third object and the other object is located at the process1 holds during immediately before the time of existence of the physical and the other object is located at the process2 holds during immediately after the time of existence of the physical and the third object is located at the process3 holds during immediately before the time of existence of the physical and the third object is located at the process4 holds during immediately after the time of existence of the physical and the distance between the process1 and the process2 is a real number the unit of measure(s) and the distance between the process3 and the process4 is another real number the unit of measure(s), then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1327-1330	If an object is an instance of lever, then there exists another object such that the object is an axis of the other object

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