| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29111-29113 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29115-29115 | 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 29116-29116 | 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 29109-29109 | conventional long name is an instance of binary predicate |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3282-3282 | conventional long name is a subrelation of full name |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29118-29118 | 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 17097-17097 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17096-17096 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17095-17095 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29117-29117 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2752-2755 | A time position is an instance of the day 1 of month the month October 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 2726-2730 | 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 2836-2836 | 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 3694-3694 | 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 2709-2709 | 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 2723-2723 | 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 2735-2735 | 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 2744-2744 | 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 2761-2761 | 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 3349-3349 | Antarctic treaty is a conventional long name of "Antarctic Treaty" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2769-2769 | 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 2777-2777 | 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 2783-2783 | 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 2790-2790 | Arab league is a conventional long name of "Arab League" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2801-2801 | 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 2810-2810 | 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 2816-2816 | 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 2822-2822 | 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 2828-2828 | 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 2843-2843 | Australia group is a conventional long name of "Australia Group" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2848-2848 | 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 2854-2854 | 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 3404-3405 | 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 2860-2860 | 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 2869-2869 | Big seven is a conventional long name of "Big Seven" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2874-2874 | Big six is a conventional long name of "Big Six" |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2880-2880 | 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners