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

Formal Language: 



KB Term:  Term intersection
English Word: 

  conventionalLongName

Sigma KEE - conventionalLongName
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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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