Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - conventionalLongName
conventionalLongName

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25025-25027
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25029-25029 The number 1 argument of official name is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25030-25030 The number 2 argument of official name is an instance of entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25023-25023 official name is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Media.kif 3213-3213 official name is a subrelation of fullName
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25032-25032 official name is a subrelation of names

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 145-145
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3269-3269 "conventional long name" is the printable form of official name in english language
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25031-25031 "official name" is the printable form of official name in english language

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2732-2732 Andean community of nations is a conventional long name of "Andean Community of Nations" holds during immediately after the day 1
No TPTP formula. May not be expressible in strict first order. Government.kif 2712-2712 Agency for the french speaking community is a conventional long name of "Agency for the French-Speaking Community" holds during immediately after the year 1996

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2812-2812 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 3670-3670 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 2695-2695 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 2709-2709 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 2716-2716 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 2725-2725 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 2737-2737 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 3037-3037 Antarctic treaty is a conventional long name of "Antarctic Treaty"
No TPTP formula. May not be expressible in strict first order. Government.kif 2745-2745 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 2753-2753 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 2759-2759 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 2766-2766 Arab league is a conventional long name of "Arab League"
No TPTP formula. May not be expressible in strict first order. Government.kif 2777-2777 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 2786-2786 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 2792-2792 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 2798-2798 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 2804-2804 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 2819-2819 Australia group is a conventional long name of "Australia Group"
No TPTP formula. May not be expressible in strict first order. Government.kif 2824-2824 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 2830-2830 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 3092-3093 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 2836-2836 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 2845-2845 Big seven is a conventional long name of "Big Seven"
No TPTP formula. May not be expressible in strict first order. Government.kif 2850-2850 Big six is a conventional long name of "Big Six"
No TPTP formula. May not be expressible in strict first order. Government.kif 2856-2856 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners