Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  soundFrequency

 Sigma KEE - soundFrequency
soundFrequency

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 775-776
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 777-777 声音频率 的 1 数量 是 音调 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 778-778 声音频率 的 2 数量 是 函数量 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 774-774 声音频率 是 二元谓语 的 instance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4586-4586
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4585-4585
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4584-4584
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54006-54006
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54005-54005
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54004-54004

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1753-1773


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