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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SouthAmerica
SouthAmerica(南美洲)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 233-233 圣海伦娜 是在 南美洲 和 西非 between
No TPTP formula. May not be expressible in strict first order. pictureList.kif 747-747
No TPTP formula. May not be expressible in strict first order. Geography.kif 3535-3535 南美洲 是 西半球 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 3531-3531 南美洲 是 大陆 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 3533-3533 南美洲 和 北半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 3534-3534 南美洲 和 南半球 重叠

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 171-171 中南美洲 是 南美洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 172-172 东南美洲 是 南美洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 173-173 北美洲南部 是 南美洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 174-174 南美洲南部 是 南美洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 175-175 西南美洲 是 南美洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20305-20305 Bear inhabits 南美洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30550-30550 Crocodile inhabits 南美洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20324-20324 Llama inhabits 南美洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30454-30454 Parrot inhabits 南美洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20333-20333 Skunk inhabits 南美洲
No TPTP formula. May not be expressible in strict first order. Geography.kif 3532-3532 南美洲 的名 是 "South America"
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 289-289 加勒比地区 在 南美洲 的 北
No TPTP formula. May not be expressible in strict first order. Geography.kif 283-283 欧洲 在 南美洲 的 东北
No TPTP formula. May not be expressible in strict first order. Geography.kif 287-287 中美洲 在 南美洲 的 北
No TPTP formula. May not be expressible in strict first order. Geography.kif 278-278 北美 在 南美洲 的 北
No TPTP formula. May not be expressible in strict first order. Geography.kif 166-166 加勒比地区 和 南美洲 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 169-169 中美洲 和 南美洲 重叠
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54060-54060
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54059-54059
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54058-54058

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


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

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 6683-6685


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