TreeView Knowledge Base Browser - physicalAmplitude

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

physicalAmplitude

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	Le nombre 1 argument de physicalAmplitude est une instance de Tremor
No TPTP formula. May not be expressible in strict first order.	Cars.kif 732-732	Le nombre 2 argument de physicalAmplitude est une instance de mesure de longueur
No TPTP formula. May not be expressible in strict first order.	Cars.kif 730-730	physicalAmplitude est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Cars.kif 729-729	physicalAmplitude est une instance de relation spatial

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 nombre r�el nombre r�el est plus grand que 0 interval temporel est une instance de Tremor PhysicalSystem est un patient de interval temporel entit� est une instance de UnitOfLength physicalAmplitude interval temporel and nombre r�el entit�(s) pendant interval temporel1 physicalAmplitude interval temporel and nombre r�el entit�(s) pendant interval temporel2 interval temporel1 prend place pendant interval temporel interval temporel2 prend place pendant interval temporel interval temporel1 arrive plus t�t que interval temporel2 nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 777-792	Processus est une instance de d�palcement processus est une instance de Tremor objet est une instance de Damper objet est un patient de processus objet est une partie de objet processus cause processus entit� est une instance de UnitOfLength physicalAmplitude processus and nombre r�el entit�(s) pendant temps d'existence de processus physicalAmplitude processus and nombre r�el entit�(s) pendant immediatement apr�s processus nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 751-768	physicalAmplitude Tremor and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfLength entit� est un patient de Tremor physique physique, Tremor1, Tremor2 and nombre r�el2 Tremor1 prend place pendant temps d'existence de Tremor Tremor2 prend place pendant temps d'existence de Tremor entit� est situ� � physique pendant Tremor1 entit� est situ� � physique pendant Tremor2 la distance entre physique et physique est nombre r�el2 unit� de mesure(s) nombre r�el2 est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Cars.kif 737-749	physicalAmplitude Tremor and mesure de longueur entit� est un patient de Tremor physique physique, Tremor1 and Tremor2 Tremor1 prend place pendant temps d'existence de Tremor Tremor2 prend place pendant temps d'existence de Tremor entit� est situ� � physique pendant Tremor1 entit� est situ� � physique pendant Tremor2 la distance entre physique et physique est mesure de longueur

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