abbreviation - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27235-27237
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27231-27231	域縮寫, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27232-27232	域縮寫, 2 and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27230-27230	例縮寫 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27233-27233	子關係縮寫 and 傳統的短名稱

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16-16
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15-15
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14-14
No TPTP formula. May not be expressible in strict first order.	Media.kif 3034-3034	子關係 acronym and 縮寫
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3616-3616	子關係貨幣代碼 and 縮寫
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5046-5046
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5045-5045
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5044-5044

consequent

No TPTP formula. May not be expressible in strict first order.

Media.kif 3165-3169

SymbolicString 是在 Language 的 short title entity-TYPE 例 Entity and entity-TYPE
Entity 是 SymbolicString 的簡稱

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Government.kif 2809-2809	阿拉伯非洲經濟發展銀行是 "ABEDA" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2817-2817	阿拉伯合作理事會是 "ACC" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2763-2763	法語社區的代理機構是 "ACCT" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2749-2749	非洲加勒比和太平洋國家集團是 "ACP Group" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2823-2823	阿拉伯經濟和社會發展基金是 "AFESD" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2831-2831	阿拉伯聯盟是 "AL" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2850-2850	阿拉伯貨幣基金是 "AMF" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2841-2841	阿拉伯馬格里布聯盟是 "AMU" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2888-2888	澳大利亞新西蘭美國安全條約是 "ANZUS" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2856-2856	亞太經濟合作是 "APEC" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2876-2876	東盟區域論壇是 "ARF" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2868-2868	東南亞國家聯盟是 "ASEAN" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2754-2754	非洲開發銀行是 "AfDB" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2862-2862	亞洲開發銀行是 "AsDB" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2948-2948	中美洲經濟一體化銀行是 "BCIE" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2941-2941	中非國家開發銀行是 "BDEAC" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2894-2894	國際結算銀行是 "BIS" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2920-2920	黑海經濟合作區是 "BSEC" 的簡稱
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 4091-4091	英屬維爾京群島是 "BVI" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2900-2900	比荷盧經濟聯盟是 "Benelux" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2979-2979	國家聯合體是 "C" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2956-2956	中美洲共同市場是 "CACM" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3013-3013	阿拉伯經濟統一委員會是 "CAEU" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 2784-2784	安第斯國際社會是 "CAN" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3034-3034	波羅的海國家理事會是 "CBSS" 的簡稱

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

KB Term:			Term intersection

English Word: