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