|
|
  Europe
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 44-44 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 418-418 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3544-3544 | 欧洲 是 北半球 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 43-43 | 欧洲 是 大陆 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 45-45 | 欧洲 接上 亚洲 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 275-275 | 欧洲 在 非洲 的 北 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 276-276 | 欧洲 在 亚洲 的 西方 |
| 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 283-283 | 欧洲 在 南美洲 的 东北 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3545-3545 | 欧洲 和 东半球 重叠 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3546-3546 | 欧洲 和 西半球 重叠 |
| appearance as argument number 2 |
|
|
| 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 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3504-3513 | 实体 是 大陆 的 instance 若且唯若 非洲 equal 那个 实体 或 北美 equal 那个 实体 或 南美洲 equal 那个 实体 或 南极洲 equal 那个 实体 或 欧洲 equal 那个 实体 或 亚洲 equal 那个 实体 或 大洋洲 equal 那个 实体 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1725-1729 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 50-52 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 76-78 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6707-6711 |
|
|
|
