GearTooth - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - GearTooth

GearTooth( gear tooth)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 818-820
No TPTP formula. May not be expressible in strict first order.	engineering.kif 816-816	Gear tooth is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order.	engineering.kif 817-817	A gear tooth is typically a part of a gear

appearance as argument number 2

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

domainEnglishFormat.kif 65872-65872

antecedent

No TPTP formula. May not be expressible in strict first order.	engineering.kif 775-785	If an object is an instance of external gear and a hole is an instance of hole and the object is equal to the host of the hole the hole and a self connected object is an instance of gear tooth and the self connected object is a part of the object and another self connected object is a surface of the self connected object, then the other self connected object is not a part of the object
No TPTP formula. May not be expressible in strict first order.	engineering.kif 839-849	If a gear is an instance of gear and an object is a part of the gear and the object is an instance of gear tooth and there are an integer number of GearTooth in the gear, then there exists a collection such that the collection is an instance of collection and the object is a member of the collection and the integer is a member count of the collection
No TPTP formula. May not be expressible in strict first order.	engineering.kif 822-829	If an object is an instance of gear and another object is a superficial part of the object and a self connected object is an instance of gear tooth and the self connected object is a part of the object and another self connected object is a surface of the self connected object, then the other self connected object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	engineering.kif 803-814	If a self connected object is an instance of gear tooth and an object is an instance of internal gear and the self connected object is a part of the object and another self connected object is a surface of the self connected object, then there exists a hole such that the hole is an instance of hole and the object is equal to the host of the hole the hole and the other self connected object is a part of the object

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