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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PacificOcean
PacificOcean(太平洋)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4568-4569
No TPTP formula. May not be expressible in strict first order. pictureList.kif 644-644
No TPTP formula. May not be expressible in strict first order. Geography.kif 4566-4566 例 太平洋 and 海洋

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4576-4576 北太平洋 是 太平洋 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 4616-4616 南太平洋 是 太平洋 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 881-881 空間的符合 阿拉斯加州 and 太平洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 903-903 空間的符合 加州 and 太平洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 936-936 空間的符合 夏威夷 and 太平洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1082-1082 空間的符合 Oregon and 太平洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1141-1141 空間的符合 華盛頓 and 太平洋
No TPTP formula. May not be expressible in strict first order. Geography.kif 4567-4567 名 "Pacific Ocean" and 太平洋
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43890-43890
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43889-43889
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43888-43888

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 627-646


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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