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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WesternEurope

 Sigma KEE - WesternEurope
WesternEurope(西歐)

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 160-160 西歐 是 歐洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 223-223 西歐 是 北半球 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 88-88 例 西歐 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 221-221 在空間上重疊 西歐 and 東半球
No TPTP formula. May not be expressible in strict first order. Geography.kif 222-222 在空間上重疊 西歐 and 西半球

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 348-348 比利時 是 西歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 350-350 法國 是 西歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 352-352 根西島 是 西歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 353-353 愛爾蘭 是 西歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 358-358 人島 是 西歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 355-355 球衣 是 西歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 356-356 盧森堡 是 西歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 359-359 摩納哥 是 西歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 361-361 荷蘭 是 西歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 363-363 英國 是 西歐 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 118-118 名 "Western Europe" and 西歐
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62775-62775
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62774-62774
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62773-62773

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


No TPTP formula. May not be expressible in strict first order. Media.kif 349-357


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