| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14754-14756 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14752-14752 | 域 當地的長名, 1 and SymbolicString |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14753-14753 | 域 當地的長名, 2 and Entity |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14751-14751 | 例 當地的長名 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14757-14757 | 子關係 當地的長名 and 名 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1559-1559 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1558-1558 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1557-1557 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34841-34841 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34840-34840 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34839-34839 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3639-3639 | 拉丁美洲一體化協會 是 "Asociacion Latinoamericana de Integracion" 的 local 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2949-2949 | 中美洲經濟一體化銀行 是 "Banco Centroamericano de Integracion Economico" 的 local 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3383-3383 | 美洲開發銀行 是 "Banco Interamericano de Desarrollo" 的 local 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2755-2755 | 非洲開發銀行 是 "Banque Africaine de Developpement" 的 local 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2810-2810 | 阿拉伯非洲經濟發展銀行 是 "Banque Arabe de Developpement Economique en Afrique" 的 local 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4296-4296 | 西非開發銀行 是 "Banque Ouest-Africaine de Developpement" 的 local 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2942-2942 | 中非國家開發銀行 是 "Banque de Developpement des Etats de l'Afrique Centrale" 的 local 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3133-3133 | 大湖國家的經濟共同體 是 "Communaute Economique des Pays des Grands Lacs" 的 local 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3270-3270 | 法郎區 是 "Conference des Ministres des Finances des Pays de la Zone Franc" 的 local 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3290-3290 | 6人小組 是 "Groupe des Six Sur le Desarmement" 的 local 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3865-3865 | 南錐共同市場 是 "Mercado Comun del Cono Sur" 的 local 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2776-2776 | 在拉丁美洲和加勒比地區禁止核武器的機構 是 "Organismo para la Proscripcion de las Armas Nucleares en la America Latina y el Caribe" 的 local 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3630-3630 | 拉丁美洲經濟體系 是 "Sistema Economico Latinoamericana" 的 local 全名 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4305-4305 | 西非經濟和貨幣聯盟 是 "Union Economique et Monetaire Ouest Africaine" 的 local 全名 |
|
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