No TPTP formula. May not be expressible in strict first order. |
Geography.kif 156-156 |
欧洲中部 是 欧洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 157-157 |
东欧洲 是 欧洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 158-158 |
北欧 是 欧洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 161-161 |
东南欧 是 欧洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 159-159 |
南欧 是 欧洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 162-162 |
西南欧 是 欧洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 160-160 |
西欧 是 欧洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20288-20288 |
Badger inhabits 欧洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20303-20303 |
Bear inhabits 欧洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30545-30545 |
Crocodile inhabits 欧洲 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30527-30527 |
驯鹿 inhabits 欧洲 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3543-3543 |
欧洲 的名 是 "Europe" |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1242-1242 |
德国 是 欧洲 的 part |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1245-1245 |
希腊 是 欧洲 的 part |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22534-22534 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22533-22533 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22532-22532 |
|