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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BeaufortNumberAttribute

 Sigma KEE - BeaufortNumberAttribute
BeaufortNumberAttribute(浦福氏风级属性)

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 340-341
No TPTP formula. May not be expressible in strict first order. Weather.kif 336-339
No TPTP formula. May not be expressible in strict first order. Weather.kif 335-335 浦福氏风级属性 是 时速级数属性 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 372-372 浦氏0风级 是 浦福氏风级属性 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 381-381 浦氏1风级 是 浦福氏风级属性 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 463-463 浦氏10风级 是 浦福氏风级属性 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 472-472 浦氏11风级 是 浦福氏风级属性 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 482-482 浦氏12风级 是 浦福氏风级属性 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 390-390 浦氏2风级 是 浦福氏风级属性 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 400-400 浦氏3风级 是 浦福氏风级属性 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 409-409 浦氏4风级 是 浦福氏风级属性 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 418-418 浦氏5风级 是 浦福氏风级属性 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 427-427 浦氏6风级 是 浦福氏风级属性 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 436-436 浦氏7风级 是 浦福氏风级属性 的 instance
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 454-454 浦氏9风级 是 浦福氏风级属性 的 instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10303-10303
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10302-10302

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 343-347
No TPTP formula. May not be expressible in strict first order. Weather.kif 349-366


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