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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BeaufortNumber10

 Sigma KEE - BeaufortNumber10
BeaufortNumber10(Beaufort number 10)

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 461-462
No TPTP formula. May not be expressible in strict first order. Weather.kif 459-460
No TPTP formula. May not be expressible in strict first order. Weather.kif 463-463 Beaufort number 10 is an instance of Beaufort number attribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 466-466 55.0 Miles per hour(s) and 63.0 miles per hour(s) are the min and max speed of Beaufort number 10
No TPTP formula. May not be expressible in strict first order. Weather.kif 464-464 Beaufort number 10 is an immediate successor attribute of Beaufort number 11

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 455-455 Beaufort number 9 is an immediate successor attribute of Beaufort number 10
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10336-10336
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10335-10335


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