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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BeaufortNumber8

 Sigma KEE - BeaufortNumber8
BeaufortNumber8(浦氏8风级)

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 443-444
No TPTP formula. May not be expressible in strict first order. Weather.kif 441-442
No TPTP formula. May not be expressible in strict first order. Weather.kif 445-445 浦氏8风级 是 浦福氏风级属性 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 448-448 浦氏8风级 的最低和最高是 39.0 英里每小時 和 46.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 446-446 浦氏8风级 是 浦氏9风级 的直接后续属性

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 437-437 浦氏7风级 是 浦氏8风级 的直接后续属性
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10330-10330
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10329-10329


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