Nation(国家) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3519-3519 | 国家 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3346-3347 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14225-14228 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3358-3358 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14223-14223 | 国家 是 地缘政治区域 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14224-14224 | 国家 是 土地面积 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 568-568 | 阿富汗 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 371-371 | 阿尔巴尼亚 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 117-117 | 阿尔及利亚 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 153-153 | 安哥拉 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 429-429 | 安提瓜和巴布达 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 514-514 | 阿根廷 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 631-631 | 亚美尼亚 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 661-661 | 澳大利亚 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 276-276 | 奥地利 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 633-633 | 阿塞拜疆 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 241-241 | 巴林 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 570-570 | 孟加拉国 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 434-434 | 巴巴多斯 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 297-297 | 白俄罗斯 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 472-472 | 伯利兹 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 192-192 | 贝宁 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 572-572 | 不丹 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 496-496 | 玻利维亚 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 373-373 | 波斯尼亚和黑塞哥维那 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 156-156 | 博茨瓦纳 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 501-501 | 巴西 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 600-600 | 文莱 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 375-375 | 保加利亚 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 194-194 | 布基纳法索 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 86-86 | 布隆迪 是 国家 的 instance |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Music.kif 954-954 | NationalAnthemFn 的 1 数量 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6710-6710 | 街道地址 的 4 数量 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16753-16753 | 公民 的 2 数量 是 国家 的 instance |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1676-1676 | inflationRateInCountry 的 1 数量 是 国家 的 instance |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24713-24720 | PostalPlace 是 located 在 地缘政治区域 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 地缘政治区域 是 国家 的 instance 或 那个 地缘政治区域 是 依赖或特殊主权领域 的 instance 若且唯若 那个 PostalPlace 是在 那个 地缘政治区域 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 865-869 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1570-1574 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4668-4673 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 4648-4657 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4535-4540 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4511-4519 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4470-4478 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1609-1613 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 195-201 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 705-710 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1145-1149 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3229-3233 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3223-3227 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2309-2328 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2244-2252 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 774-783 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 906-913 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 507-511 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1456-1462 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1465-1469 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1471-1475 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2191-2196 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6938-6942 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2362-2369 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 151-167 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3001-3009 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 121-125 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17352-17368 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1176-1180 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1126-1130 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1192-1196 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2531-2535 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16561-16575 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 949-964 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27125-27135 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27142-27154 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 712-724 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 493-498 |
|
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 32-41 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3537-3561 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13266-13271 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1357-1373 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2516-2524 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1006-1015 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14237-14242 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19692-19700 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22379-22388 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24707-24711 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14220-14229 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 923-931 | 对所有 ?COUNTRY, ?ELECTION,, , ?VOTING, and 和 ?VOTER
|