TreeView Knowledge Base Browser - Ratchet

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

annualElectricityProduction

Sigma KEE - Ratchet

Ratchet(ratchet)

rachet, ratch, ratchet

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4930-4933
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4929-4929	Ratchet is a subclass of wrench

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4970-4970	Snap-On ratchet is a subclass of ratchet
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65386-65386

antecedent

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

Cars.kif 4935-4950

If an entity is an instance of ratchet and another entity is an instance of attaching device and the entityO1 is an instance of rotating and an attribute is an attribute of the entityO1 and the entityO2 is an instance of rotating and another attribute is an attribute of the entityO2 and the attribute is an instance of rotational attribute and the other attribute is an instance of rotational attribute and the entityO1 is not equal to the entityO2 and the entityO1 causes the entityO2 and ratchet is a patient of the entityO1 and the other entity is a patient of the entityO2,
then the attribute is equal to the other attribute

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