TreeView Knowledge Base Browser - minDeviceStorageTemp

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

minDeviceStorageTemp

Sigma KEE - minDeviceStorageTemp

minDeviceStorageTemp

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3704-3706
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3698-3698	O argumento numero 1 de minDeviceStorageTemp e' uma instancia de Aparelho
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3699-3699	O argumento numero 2 de minDeviceStorageTemp e' uma instancia de Medida de Temperatura
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3697-3697	minDeviceStorageTemp e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3702-3702
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3701-3701

antecedent

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

ComputingBrands.kif 3708-3721

minDeviceStorageTemp Entidade and Entidade Entidade(s) Entidade e' uma instancia de UnitOfTemperature Entidade e' situado em Entidade DeviceOff e' um atributo de Entidade airTemperature Entidade and Entidade Entidade(s) Entidade e' menos que Entidade vale durante Posicao Temporal
o argumento DeviceDamaged e' um atributo de Entidade vale durante imediatemente apos Posicao Temporal tem a forca modal de Likely

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