conventionalLongName |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27210-27212 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27214-27214 | The number 1 argument of conventional long name is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27215-27215 | The number 2 argument of conventional long name is an instance of entity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27208-27208 | conventional long name is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3298-3298 | conventional long name is a subrelation of full name |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27217-27217 | conventional long name is a subrelation of 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 27216-27216 |
statement |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2791-2794 | A time position is an instance of the day 1 and andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the time position |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2765-2769 | A time position is an instance of the year 1996 and agency for the french speaking community is a conventional long name of "Agency for the French-Speaking Community" holds during immediately after the time position |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2875-2875 | ASEAN regional forum is a conventional long name of "ASEAN Regional Forum" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3733-3733 | Organization of african unity is a conventional long name of "African Union" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2748-2748 | African caribbean and pacific group of states is a conventional long name of "African, Caribbean, and Pacific Group of States" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2762-2762 | Agency for the french speaking community is a conventional long name of "Agency for the French-Speaking Community" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2774-2774 | Agency for the prohibition of nuclear weapons in latin america and the caribbean is a conventional long name of "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2783-2783 | Andean community of nations is a conventional long name of "Andean Community of Nations" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2800-2800 | Antarctic treaty council is a conventional long name of "Antarctic Treaty Council" |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3191-3191 | Antarctic treaty is a conventional long name of "Antarctic Treaty" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2808-2808 | Arab bank for economic development in africa is a conventional long name of "Arab Bank for Economic Development in Africa" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2816-2816 | Arab cooperation council is a conventional long name of "Arab Cooperation Council" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2822-2822 | Arab fund for economic and social development is a conventional long name of "Arab Fund for Economic and Social Development" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2829-2829 | Arab league is a conventional long name of "Arab League" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2840-2840 | Arab maghreb union is a conventional long name of "Arab Maghreb Union" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2849-2849 | Arab monetary fund is a conventional long name of "Arab Monetary Fund" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2855-2855 | Asia pacific economic cooperation is a conventional long name of "Asia-Pacific Economic Cooperation" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2861-2861 | Asian development bank is a conventional long name of "Asian Development Bank" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2867-2867 | Association of southeast asian nations is a conventional long name of "Association of Southeast Asian Nations" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2882-2882 | Australia group is a conventional long name of "Australia Group" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2887-2887 | Australia new zealand united states security treaty is a conventional long name of "Australia-New Zealand-United States Security Treaty" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2893-2893 | Bank for international settlements is a conventional long name of "Bank for International Settlements" |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 3246-3247 | Hazardous wastes convention is a conventional long name of "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2899-2899 | Benelux economic union is a conventional long name of "Benelux Economic Union" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2908-2908 | Big seven is a conventional long name of "Big Seven" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2913-2913 | Big six is a conventional long name of "Big Six" |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2919-2919 | Black sea economic cooperation zone is a conventional long name of "Black Sea Economic Cooperation Zone" |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |