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	域 physicalAmplitude, 1 and 震
No TPTP formula. May not be expressible in strict first order.	Cars.kif 732-732	域 physicalAmplitude, 2 and LengthMeasure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 730-730	例 physicalAmplitude and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Cars.kif 729-729	例 physicalAmplitude and SpatialRelation

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

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	dampingRatio 物理系統 and RealNumber 比較多 RealNumber and 0 例 Process and 震患者 Process and 物理系統例 Entity and UnitOfLength 持有期間 Process and physicalAmplitude Process and 測量 RealNumber and Entity 持有期間 Process and physicalAmplitude Process and 測量 RealNumber and Entity 期間 Process and 何時 Process 期間 Process and 何時 Process 早期 Process and Process 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 777-792	例 Process and Motion 例 Process and 震例 Object and Damper 患者 Process and Object 部分 Object and Object 原因 Process and Process 例 Entity and UnitOfLength 持有期間何時 Process and physicalAmplitude Process and 測量 RealNumber and Entity 持有期間眼前的未來 Process and physicalAmplitude Process and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 751-768	physicalAmplitude 震 and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfLength 患者震 and Entity Physical Physical, 震, 震 and RealNumber 期間震 and 何時震期間震 and 何時震持有期間震 and 位於 Entity and Physical 持有期間震 and 位於 Entity and Physical 距離 Physical, Physical and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 737-749	physicalAmplitude 震 and LengthMeasure 患者震 and Entity Physical Physical, 震 and 震期間震 and 何時震期間震 and 何時震持有期間震 and 位於 Entity and Physical 持有期間震 and 位於 Entity and Physical 距離 Physical, Physical and LengthMeasure

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