Nation
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3519-3519 | 不相交的 Nation and Continent |
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 | 子類 Nation and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14224-14224 | 子類 Nation and LandArea |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 568-568 | 例 阿富汗 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 371-371 | 例 阿爾巴尼亞 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 117-117 | 例 阿爾及利亞 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 153-153 | 例 安哥拉 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 429-429 | 例 安提瓜和巴布達 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 514-514 | 例 阿根廷 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 631-631 | 例 亞美尼亞 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 661-661 | 例 澳大利亞 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 276-276 | 例 奧地利 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 633-633 | 例 阿塞拜疆 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 241-241 | 例 巴林 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 570-570 | 例 孟加拉國 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 434-434 | 例 巴巴多斯 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 297-297 | 例 白俄羅斯 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 472-472 | 例 伯利茲 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 192-192 | 例 貝寧 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 572-572 | 例 不丹 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 496-496 | 例 玻利維亞 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 373-373 | 例 波斯尼亞和黑塞哥維那 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 156-156 | 例 博茨瓦納 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 501-501 | 例 巴西 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 600-600 | 例 文萊 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 375-375 | 例 保加利亞 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 194-194 | 例 布基納法索 and Nation |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 86-86 | 例 布隆迪 and Nation |
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 and Nation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6710-6710 | 域 街道地址, 4 and Nation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16753-16753 | 域 公民, 2 and Nation |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1676-1676 | 域 inflationRateInCountry, 1 and Nation |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24713-24720 | 位於 PostalPlace and GeopoliticalArea 例 PostalPlace and PostalPlace 例 GeopoliticalArea and Nation 例 GeopoliticalArea and 依賴或特殊主權領域 PostalPlace 是在 GeopoliticalArea |
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
|