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	域 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 65898-65898

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	dampingRatio 物理系統 and RealNumber 比較多 RealNumber and 0 例 TimeInterval and 震患者 TimeInterval and 物理系統例 Entity and UnitOfLength 持有期間 TimeInterval and physicalAmplitude TimeInterval and 測量 RealNumber and Entity 持有期間 TimeInterval and physicalAmplitude TimeInterval and 測量 RealNumber and Entity 期間 TimeInterval and TimeInterval 期間 TimeInterval and TimeInterval 早期 TimeInterval and TimeInterval 比較多 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 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