TreeView Knowledge Base Browser - BimetalTemperatureSensor

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BimetalTemperatureSensor

BimetalTemperatureSensor

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4050-4053
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4048-4048	BimetalTemperatureSensor e' uma sub-classe de MeasuringDevice

appearance as argument number 2

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

Cars.kif 4049-4049

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4066-4098	Objeto e' uma instancia de BimetalTemperatureSensor Objeto e' uma instancia de Metal Objeto e' uma instancia de Metal Objeto e' igual a Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Entidade e' uma instancia de Medida de Temperatura Entidade e' uma instancia de Medida de Temperatura Numero Real e' uma instancia de Medida de Comprimento Numero Real e' uma instancia de Medida de Comprimento Numero Real e' uma instancia de Medida de Comprimento Numero Real e' uma instancia de Medida de Comprimento Entidade e' igual a Entidade Posicao Temporal e' igual a Posicao Temporal a medida de Objeto e' Entidade a medida de Objeto e' Numero Real a medida de Objeto e' Numero Real vale durante Posicao Temporal a medida de Objeto e' Entidade a medida de Objeto e' Numero Real a medida de Objeto e' Numero Real vale durante Posicao Temporal Numero Real + Numero Real e' igual a Numero Real + Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4055-4064	Objeto e' uma instancia de BimetalTemperatureSensor Objeto Objeto Objeto e' uma instancia de Metal Objeto e' uma instancia de Metal Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' igual a Objeto

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