No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 716-716 |
例 柏林,德國 and 歐洲城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 720-720 |
例 伯爾尼瑞士 and 歐洲城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 843-843 |
例 哥本哈根丹麥 and 歐洲城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 69-69 |
例 倫敦 and 歐洲城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 54-54 |
例 巴黎 and 歐洲城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 778-778 |
例 意大利羅馬 and 歐洲城市 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 801-801 |
例 華沙波蘭 and 歐洲城市 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22546-22546 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22545-22545 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22544-22544 |
|