TreeView Knowledge Base Browser - FeelerGauge

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FeelerGauge

FeelerGauge(feeler gauge)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2796-2800
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2794-2794	Feeler gauge is a subclass of measuring device

appearance as argument number 2

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

Cars.kif 2795-2795

antecedent

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

Cars.kif 2802-2810

If a physical is an instance of feeler gauge,
then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of measuring and the entity is an instance of tactile perception and the entity is a subprocess of the other entity and the physical is an instrument for the other 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