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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BeaufortNumber2

 Sigma KEE - BeaufortNumber2
BeaufortNumber2(Beaufort number 2)

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 388-389
No TPTP formula. May not be expressible in strict first order. Weather.kif 386-387
No TPTP formula. May not be expressible in strict first order. Weather.kif 390-390 Beaufort number 2 is an instance of Beaufort number attribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 393-393 4.0 Miles per hour(s) and 7.0 miles per hour(s) are the min and max speed of Beaufort number 2
No TPTP formula. May not be expressible in strict first order. Weather.kif 391-391 Beaufort number 2 is an immediate successor attribute of Beaufort number 3

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 382-382 Beaufort number 1 is an immediate successor attribute of Beaufort number 2
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10312-10312
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10311-10311


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