|
|
  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 | 例 歐洲 and Continent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 45-45 | 空間的符合 歐洲 and 亞洲 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 275-275 | 方位 歐洲, 非洲 and 北 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 276-276 | 方位 歐洲, 亞洲 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 283-283 | 方位 歐洲, 南美洲 and 東北 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3545-3545 | 在空間上重疊 歐洲 and 東半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3546-3546 | 在空間上重疊 歐洲 and 西半球 |
| 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" and 歐洲 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1242-1242 | 部分 德國 and 歐洲 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1245-1245 | 部分 希臘 and 歐洲 |
| 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 | 例 Entity and Continent 等於 非洲 and Entity 等於 北美 and Entity 等於 南美洲 and Entity 等於 南極洲 and Entity 等於 歐洲 and Entity 等於 亞洲 and Entity 等於 大洋洲 and Entity |
| 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 |
|
|
|
