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 数量是震的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 732-732	physicalAmplitude 的 2 数量是长度测量的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 730-730	physicalAmplitude 是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 729-729	physicalAmplitude 是空间关系的 instance

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 实数和那个实数是 greaterThan 0 和时距是震的 instance 和那个物理系统是那个时距的 patient 和实体是 UnitOfLength 的 instance 和 physicalAmplitude 那个时距 and 另一个实数那个实体在那个时距1 holdsDuring 和 physicalAmplitude 那个时距 and 第三实数那个实体在那个时距2 holdsDuring 和那个时距1 在那个时距时段内发生和那个时距2 在那个时距时段内发生和那个时距1 比那个时距2发生的earlier，然后那个另外实数是 greaterThan 那个第三实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 777-792	如果过程是运动的 instance 和另一个过程是震的 instance 和客体是 Damper 的 instance 和另一个客体是那个另外过程的 patient 和那个客体是那个另外客体的 part 和那个过程 causes 那个另外过程和实体是 UnitOfLength 的 instance 和 physicalAmplitude 那个另外过程 and 实数那个实体在那个过程出现的 time holdsDuring 和 physicalAmplitude 那个另外过程 and 另一个实数那个实体在紧接那个过程 after holdsDuring，然后那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 751-768	如果 physicalAmplitude 震 and 实数测量单位和那个测量单位是 UnitOfLength 的 instance 和实体是那个震的 patient，然后不存在物理，另一个物理,，，那个震1,，，那个震2， and 和那个实数2 这样那个震1 在那个震出现的 time 时段内发生和那个震2 在那个震出现的 time 时段内发生和那个实体是 located 在那个物理在那个震1 holdsDuring 和那个实体是 located 在那个另外物理在那个震2 holdsDuring 和那个物理和那个另外物理的 distance 是那个实数2 那个测量单位和那个实数2 是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Cars.kif 737-749	如果 physicalAmplitude 震 and 长度测量和实体是那个震的 patient，然后有存在物理，另一个物理,，，那个震1， and 和那个震2 这样那个震1 在那个震出现的 time 时段内发生和那个震2 在那个震出现的 time 时段内发生和那个实体是 located 在那个物理在那个震1 holdsDuring 和那个实体是 located 在那个另外物理在那个震2 holdsDuring 和那个物理和那个另外物理的 distance 是那个长度测量

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