conventionalLongName |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27198-27200 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27202-27202 | O argumento numero 1 de conventionalLongName e' uma instancia de Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27203-27203 | O argumento numero 2 de conventionalLongName e' uma instancia de Entidade |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27196-27196 | conventionalLongName e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3298-3298 | conventionalLongName e' uma sub-relacao de fullName |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27205-27205 | conventionalLongName e' uma sub-relacao de names |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 544-544 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 543-543 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 542-542 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17088-17088 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17087-17087 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17086-17086 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27204-27204 |
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2791-2794 | Posicao Temporal e' uma instancia de o dia 1 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations vale durante imediatemente apos Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2765-2769 | Posicao Temporal e' uma instancia de o ano 1996 conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity vale durante imediatemente apos Posicao Temporal |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2875-2875 | conventionalLongName "ASEAN Regional Forum" and ASEANRegionalForum |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3733-3733 | conventionalLongName "African Union" and OrganizationOfAfricanUnity |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2748-2748 | conventionalLongName "African, Caribbean, and Pacific Group of States" and AfricanCaribbeanAndPacificGroupOfStates |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2762-2762 | conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2774-2774 | conventionalLongName "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" and AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2783-2783 | conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2800-2800 | conventionalLongName "Antarctic Treaty Council" and AntarcticTreatyCouncil |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3191-3191 | conventionalLongName "Antarctic Treaty" and AntarcticTreaty |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2808-2808 | conventionalLongName "Arab Bank for Economic Development in Africa" and ArabBankForEconomicDevelopmentInAfrica |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2816-2816 | conventionalLongName "Arab Cooperation Council" and ArabCooperationCouncil |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2822-2822 | conventionalLongName "Arab Fund for Economic and Social Development" and ArabFundForEconomicAndSocialDevelopment |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2829-2829 | conventionalLongName "Arab League" and ArabLeague |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2840-2840 | conventionalLongName "Arab Maghreb Union" and ArabMaghrebUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2849-2849 | conventionalLongName "Arab Monetary Fund" and ArabMonetaryFund |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2855-2855 | conventionalLongName "Asia-Pacific Economic Cooperation" and AsiaPacificEconomicCooperation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2861-2861 | conventionalLongName "Asian Development Bank" and AsianDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2867-2867 | conventionalLongName "Association of Southeast Asian Nations" and AssociationOfSoutheastAsianNations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2882-2882 | conventionalLongName "Australia Group" and AustraliaGroup |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2887-2887 | conventionalLongName "Australia-New Zealand-United States Security Treaty" and AustraliaNewZealandUnitedStatesSecurityTreaty |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2893-2893 | conventionalLongName "Bank for International Settlements" and BankForInternationalSettlements |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3246-3247 | conventionalLongName "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" and HazardousWastesConvention |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2899-2899 | conventionalLongName "Benelux Economic Union" and BeneluxEconomicUnion |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2908-2908 | conventionalLongName "Big Seven" and BigSeven |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2913-2913 | conventionalLongName "Big Six" and BigSix |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2919-2919 | conventionalLongName "Black Sea Economic Cooperation Zone" and BlackSeaEconomicCooperationZone |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |