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" and 南美洲 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 280-280 |
方位 非洲, 南美洲 and 東北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 289-289 |
方位 加勒比地區, 南美洲 and 北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 283-283 |
方位 歐洲, 南美洲 and 東北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 287-287 |
方位 中美洲, 南美洲 and 北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 278-278 |
方位 北美, 南美洲 and 北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 166-166 |
在空間上重疊 加勒比地區 and 南美洲 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 169-169 |
在空間上重疊 中美洲 and 南美洲 |
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 |
|