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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SSHWS1

 Sigma KEE - SSHWS1
SSHWS1(SSHWS1)

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2389-2390
No TPTP formula. May not be expressible in strict first order. Weather.kif 2386-2388
No TPTP formula. May not be expressible in strict first order. Weather.kif 2393-2393 SSHWS1 is an instance of Saffir Simpson Hurrican wind scale
No TPTP formula. May not be expressible in strict first order. Weather.kif 2396-2396 74.0 Miles per hour(s) and 95.0 miles per hour(s) are the min and max speed of SSHWS1
No TPTP formula. May not be expressible in strict first order. Weather.kif 2394-2394 SSHWS1 is an immediate successor attribute of SSHWS2

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2392-2392
No TPTP formula. May not be expressible in strict first order. Weather.kif 2391-2391


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