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 27243-27245
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27247-27247 傳統的長名, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27248-27248 傳統的長名, 2 and Entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27241-27241 傳統的長名 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. Media.kif 3280-3280 子關係 傳統的長名 and fullName
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27250-27250 子關係 傳統的長名 and

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 27249-27249

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2755-2758 持有期間 眼前的未來 TimePosition and TimePosition and 1 and October and 1992 安第斯國際社會 是 "Andean Community of Nations" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2729-2733 持有期間 眼前的未來 TimePosition and TimePosition and 1996 法語社區的代理機構 是 "Agency for the French-Speaking Community" 的 conventional 全名

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2839-2839 東盟區域論壇 是 "ASEAN Regional Forum" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 3697-3697 非洲統一組織 是 "African Union" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2712-2712 非洲加勒比和太平洋國家集團 是 "African, Caribbean, and Pacific Group of States" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2726-2726 法語社區的代理機構 是 "Agency for the French-Speaking Community" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2738-2738 在拉丁美洲和加勒比地區禁止核武器的機構 是 "Agency for the Prohibition of Nuclear Weapons in Latin America and the Caribbean" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2747-2747 安第斯國際社會 是 "Andean Community of Nations" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2764-2764 南極條約理事會 是 "Antarctic Treaty Council" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Geography.kif 3191-3191 南極條約 是 "Antarctic Treaty" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2772-2772 阿拉伯非洲經濟發展銀行 是 "Arab Bank for Economic Development in Africa" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2780-2780 阿拉伯合作理事會 是 "Arab Cooperation Council" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2786-2786 阿拉伯經濟和社會發展基金 是 "Arab Fund for Economic and Social Development" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2793-2793 阿拉伯聯盟 是 "Arab League" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2804-2804 阿拉伯馬格里布聯盟 是 "Arab Maghreb Union" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2813-2813 阿拉伯貨幣基金 是 "Arab Monetary Fund" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2819-2819 亞太經濟合作 是 "Asia-Pacific Economic Cooperation" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2825-2825 亞洲開發銀行 是 "Asian Development Bank" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2831-2831 東南亞國家聯盟 是 "Association of Southeast Asian Nations" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2846-2846 澳大利亞集團 是 "Australia Group" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2851-2851 澳大利亞新西蘭美國安全條約 是 "Australia-New Zealand-United States Security Treaty" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2857-2857 國際結算銀行 是 "Bank for International Settlements" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Geography.kif 3246-3247 危險廢物公約 是 "Basel Convention on the Control of Transboundary Movements of Hazardous Wastes and Their Disposal" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2863-2863 比荷盧經濟聯盟 是 "Benelux Economic Union" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2872-2872 大七 是 "Big Seven" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2877-2877 大六 是 "Big Six" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order. Government.kif 2883-2883 黑海經濟合作區 是 "Black Sea Economic Cooperation Zone" 的 conventional 全名

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