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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Antarctica

 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 南极洲 是 大陆 的 instance
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4240-4240 南极洲 是 地缘政治区域 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 3540-3540 南极洲 和 东半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 3541-3541 南极洲 和 西半球 重叠

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3538-3538 南极洲 的名 是 "Antarctica"
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 实体 是 大陆 的 instance 若且唯若 非洲 equal 那个 实体 或 北美 equal 那个 实体 或 南美洲 equal 那个 实体 或 南极洲 equal 那个 实体 或 欧洲 equal 那个 实体 或 亚洲 equal 那个 实体 或 大洋洲 equal 那个 实体
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 南部海洋 和 南极洲 的 shoreline 的 length 是 17968.0 仪表 的一千倍


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