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 65900-65900

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 809-825
No TPTP formula. May not be expressible in strict first order. Cars.kif 777-792
No TPTP formula. May not be expressible in strict first order. Cars.kif 751-768
No TPTP formula. May not be expressible in strict first order. Cars.kif 737-749


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