capitalCity |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 379-380 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 375-375 | O argumento numero 1 de capitalCity e' uma instancia de Cidade |
No TPTP formula. May not be expressible in strict first order. | Government.kif 376-376 | O argumento numero 2 de capitalCity e' uma instancia de Area Geopolitica |
No TPTP formula. May not be expressible in strict first order. | Government.kif 374-374 | capitalCity e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Government.kif 377-377 | capitalCity e' uma sub-relacao de administrativeCenter |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 356-356 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 355-355 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 354-354 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13080-13080 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13079-13079 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13078-13078 |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 717-717 | capitalCity BerlinGermany and Germany |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 721-721 | capitalCity BernSwitzerland and Switzerland |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 858-858 | capitalCity ColumbusOhio and Ohio |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 844-844 | capitalCity CopenhagenDenmark and Denmark |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 838-838 | capitalCity DenverColorado and Colorado |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 825-825 | capitalCity HonoluluHawaii and Hawaii |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1837-1837 | capitalCity JerusalemIsrael and Israel |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2980-2980 | capitalCity JerusalemPalestine and WestBank |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 68-68 | capitalCity LondonUnitedKingdom and UnitedKingdom |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 749-749 | capitalCity MoscowRussia and Russia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 56-56 | capitalCity Paris and France |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 771-771 | capitalCity ProvidenceRhodeIsland and RhodeIsland |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 775-775 | capitalCity RichmondVirginia and Virginia |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 779-779 | capitalCity RomeItaly and Italy |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 786-786 | capitalCity SaintPaulMinnesota and Minnesota |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2389-2389 | capitalCity TokyoJapan and Japan |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 802-802 | capitalCity WarsawPoland and Poland |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1050-1050 | capitalCity WashingtonDCUnitedStates and UnitedStates |