physicalAmplitude - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - physicalAmplitude

physicalAmplitude

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 734-735
No TPTP formula. May not be expressible in strict first order.	Cars.kif 731-731	O argumento numero 1 de physicalAmplitude e' uma instancia de Tremor
No TPTP formula. May not be expressible in strict first order.	Cars.kif 732-732	O argumento numero 2 de physicalAmplitude e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Cars.kif 730-730	physicalAmplitude e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Cars.kif 729-729	physicalAmplitude e' uma instancia de Relacao Espacial

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 733-733
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65898-65898

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	dampingRatio PhysicalSystem and Numero Real Numero Real e' maior que 0 Intervalo Temporal e' uma instancia de Tremor PhysicalSystem e' um patient de Intervalo Temporal Entidade e' uma instancia de UnitOfLength physicalAmplitude Intervalo Temporal and Numero Real Entidade(s) vale durante Intervalo Temporal1 physicalAmplitude Intervalo Temporal and Numero Real Entidade(s) vale durante Intervalo Temporal2 Intervalo Temporal1 acontece durante Intervalo Temporal Intervalo Temporal2 acontece durante Intervalo Temporal Intervalo Temporal1 acontence antes de Intervalo Temporal2 Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 777-792	Processo e' uma instancia de Movimento Processo e' uma instancia de Tremor Objeto e' uma instancia de Damper Objeto e' um patient de Processo Objeto e' uma &parte de Objeto Processo causa Processo Entidade e' uma instancia de UnitOfLength physicalAmplitude Processo and Numero Real Entidade(s) vale durante tempo de existencia de Processo physicalAmplitude Processo and Numero Real Entidade(s) vale durante imediatemente apos Processo Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 751-768	physicalAmplitude Tremor and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfLength Entidade e' um patient de Tremor Fisico Fisico, Tremor1, Tremor2 and Numero Real2 Tremor1 acontece durante tempo de existencia de Tremor Tremor2 acontece durante tempo de existencia de Tremor Entidade e' situado em Fisico vale durante Tremor1 Entidade e' situado em Fisico vale durante Tremor2 a distancia entre Fisico e Fisico e' Numero Real2 Unidade de Medida(s) Numero Real2 e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 737-749	physicalAmplitude Tremor and Medida de Comprimento Entidade e' um patient de Tremor Fisico Fisico, Tremor1 and Tremor2 Tremor1 acontece durante tempo de existencia de Tremor Tremor2 acontece durante tempo de existencia de Tremor Entidade e' situado em Fisico vale durante Tremor1 Entidade e' situado em Fisico vale durante Tremor2 a distancia entre Fisico e Fisico e' Medida de Comprimento

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