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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Africa

 Sigma KEE - Africa
Africa(非洲)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 210-210
No TPTP formula. May not be expressible in strict first order. Geography.kif 3525-3525 非洲 是 东半球 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 3521-3521 非洲 是 大陆 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 282-282 非洲 在 北美 的 东南
No TPTP formula. May not be expressible in strict first order. Geography.kif 280-280 非洲 在 南美洲 的 东北
No TPTP formula. May not be expressible in strict first order. Geography.kif 3523-3523 非洲 和 北半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 3524-3524 非洲 和 南半球 重叠

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 139-139 中非 是 非洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 140-140 东非 是 非洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 141-141 北非 是 非洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 142-142 非洲南部 是 非洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 143-143 西非 是 非洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20290-20290 Badger inhabits 非洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30570-30570 Cheetah inhabits 非洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30548-30548 Crocodile inhabits 非洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30372-30372 Lion inhabits 非洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30452-30452 Parrot inhabits 非洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30435-30435 Rhinoceros inhabits 非洲
No TPTP formula. May not be expressible in strict first order. Geography.kif 3522-3522 非洲 的名 是 "Africa"
No TPTP formula. May not be expressible in strict first order. Geography.kif 275-275 欧洲 在 非洲 的 北
No TPTP formula. May not be expressible in strict first order. Geography.kif 286-286 中东地区 在 非洲 的 东北
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 126-126 摩洛哥 是 非洲 的 part
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5724-5724
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5723-5723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5722-5722

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 6719-6721


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