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

Formal Language: 



KB Term:  Term intersection
English Word: 

  naturalHazardTypeInArea

 Sigma KEE - naturalHazardTypeInArea
naturalHazardTypeInArea

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2259-2262
No TPTP formula. May not be expressible in strict first order. Geography.kif 2256-2256 域 區域內的自然災害類型, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 2257-2257 域子類 區域內的自然災害類型, 2 and Physical
No TPTP formula. May not be expressible in strict first order. Geography.kif 2255-2255 例 區域內的自然災害類型 and BinaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1783-1783
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1782-1782
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1781-1781
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39891-39891
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39890-39890
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39889-39889

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2264-2269
No TPTP formula. May not be expressible in strict first order. Geography.kif 2271-2278
No TPTP formula. May not be expressible in strict first order. Geography.kif 2280-2290

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 2264-2269

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 4677-4677 氣旋風暴 是區域 南部海洋 的 natural 有害類別
No TPTP formula. May not be expressible in strict first order. Geography.kif 4678-4678 冰山 是區域 南部海洋 的 natural 有害類別
No TPTP formula. May not be expressible in strict first order. Geography.kif 4679-4679 海冰 是區域 南部海洋 的 natural 有害類別


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