No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 404-404 |
百慕大 是 北美 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 164-164 |
北美洲北部 是 北美 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 405-405 |
美国 是 北美 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20286-20286 |
Badger inhabits 北美 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20301-20301 |
Bear inhabits 北美 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30535-30535 |
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 30441-30441 |
Parrot inhabits 北美 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30517-30517 |
驯鹿 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 121-121 |
北美 的名 是 "North America" |
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 290-290 |
加勒比地区 在 北美 的 南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 277-277 |
欧洲 在 北美 的 东 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 288-288 |
中美洲 在 北美 的 南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 284-284 |
大洋洲 在 北美 的 西南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 167-167 |
加勒比地区 和 北美 重叠 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 168-168 |
中美洲 和 北美 重叠 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40959-40959 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40958-40958 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40957-40957 |
|