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 20314-20314 |
Badger inhabits 北美 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20329-20329 |
Bear inhabits 北美 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30571-30571 |
Crocodile inhabits 北美 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20352-20352 |
Llama inhabits 北美 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30477-30477 |
Parrot inhabits 北美 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30553-30553 |
馴鹿 inhabits 北美 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20361-20361 |
Skunk inhabits 北美 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 121-121 |
名 "North America" and 北美 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 282-282 |
方位 非洲, 北美 and 東南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 290-290 |
方位 加勒比地區, 北美 and 南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 277-277 |
方位 歐洲, 北美 and 東 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 288-288 |
方位 中美洲, 北美 and 南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 284-284 |
方位 大洋洲, 北美 and 西南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 167-167 |
在空間上重疊 加勒比地區 and 北美 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 168-168 |
在空間上重疊 中美洲 and 北美 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40961-40961 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40960-40960 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40959-40959 |
|