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 20287-20287 |
Badger inhabits 北美 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20302-20302 |
Bear inhabits 北美 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30547-30547 |
Crocodile inhabits 北美 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20325-20325 |
Llama inhabits 北美 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30453-30453 |
Parrot inhabits 北美 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30529-30529 |
馴鹿 inhabits 北美 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20334-20334 |
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 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 |
|