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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Antarctica
Antarctica(南極洲)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3923-3923 阿根廷 是 南極洲 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3924-3924 澳大利亞 是 南極洲 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3925-3925 智利 是 南極洲 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3926-3926 法國 是 南極洲 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3927-3927 新西蘭 是 南極洲 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3928-3928 挪威 是 南極洲 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3929-3929 英國 是 南極洲 的 claimed 領土
No TPTP formula. May not be expressible in strict first order. pictureList.kif 226-226
No TPTP formula. May not be expressible in strict first order. Geography.kif 3622-3622 南極洲 是 南極地區 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 3539-3539 南極洲 是 南半球 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 3537-3537 例 南極洲 and Continent
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4240-4240 例 南極洲 and GeopoliticalArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 3540-3540 在空間上重疊 南極洲 and 東半球
No TPTP formula. May not be expressible in strict first order. Geography.kif 3541-3541 在空間上重疊 南極洲 and 西半球

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3538-3538 名 "Antarctica" and 南極洲
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7752-7752
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7751-7751
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7750-7750

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2843-2843 "AQ" 在 ISO-3166-1-alpha-2 denotes 南極洲

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 292-296

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3504-3513 例 Entity and Continent 等於 非洲 and Entity 等於 北美 and Entity 等於 南美洲 and Entity 等於 南極洲 and Entity 等於 歐洲 and Entity 等於 亞洲 and Entity 等於 大洋洲 and Entity
No TPTP formula. May not be expressible in strict first order. Geography.kif 292-296

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 4671-4674 length 南部海洋 和 南極洲 的 shoreline and 測量 17968.0 and 千 儀表


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