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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SSHWS2

 Sigma KEE - SSHWS2
SSHWS2(萨菲尔辛普森飓风2)

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2401-2402
No TPTP formula. May not be expressible in strict first order. Weather.kif 2398-2400
No TPTP formula. May not be expressible in strict first order. Weather.kif 2405-2405 萨菲尔辛普森飓风2 是 萨菲尔辛普森飓风风力等级 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2408-2408 萨菲尔辛普森飓风2 的最低和最高是 96.0 英里每小時 和 110.0 英里每小時
No TPTP formula. May not be expressible in strict first order. Weather.kif 2406-2406 萨菲尔辛普森飓风2 是 萨菲尔辛普森飓风3 的直接后续属性

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2394-2394 萨菲尔辛普森飓风1 是 萨菲尔辛普森飓风2 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Weather.kif 2404-2404
No TPTP formula. May not be expressible in strict first order. Weather.kif 2403-2403


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