| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14716-14717 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14719-14719 | 例 以前的名字 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14718-14718 | 子關係 以前的名字 and 名 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3478-3478 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3477-3477 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3476-3476 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24746-24746 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24745-24745 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24744-24744 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2786-2786 | "AG" 是對於 安第斯國際社會 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2764-2764 | "Agency for Cultural and Technical Cooperation" 是對於 法語社區的代理機構 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2789-2789 | "Ancom" 是對於 安第斯國際社會 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2788-2788 | "Andean Common Market" 是對於 安第斯國際社會 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2787-2787 | "Andean Parliament" 是對於 安第斯國際社會 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2785-2785 | "AndeanGroup" 是對於 安第斯國際社會 的 former name |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 602-602 | "Burma" 是對於 緬甸 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3713-3713 | "CSCE" 是對於 歐洲安全與合作組織 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3648-3648 | "Central African Customs and Economic Union" 是對於 中非貨幣和經濟共同體 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3712-3712 | "Conference on Security and Cooperation in Europe" 是對於 歐洲安全與合作組織 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3238-3238 | "Conseil Europeenne pour la Recherche Nucleaire" 是對於 歐洲核研究組織 的 former name |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4226-4226 | "Ellice Islands" 是對於 圖瓦盧 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 127-127 | "First World" 是對於 發達國家 的 former name |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4207-4207 | "Gilbert Islands" 是對於 基里巴斯 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3823-3823 | "Grupo de los Ocho" 是對於 里約集團 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3971-3971 | "Habitat" 是對於 聯合國人類住區中心 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2964-2964 | "Hexagonal Initiative" 是對於 中歐倡議 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3584-3584 | "ICEM" 是對於 國際移民組織 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3586-3586 | "ICM" 是對於 國際移民組織 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4328-4328 | "IFCTU" 是對於 世界勞工聯合會 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3393-3393 | "IGADD" 是對於 政府間發展權威 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3554-3554 | "IMCO" 是對於 國際海事組織 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3392-3392 | "Inter-Governmental Authority on Drought and Development" 是對於 政府間發展權威 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3583-3583 | "Intergovernmental Committee for European Migration" 是對於 國際移民組織 的 former name |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3585-3585 | "Intergovernmental Committee for Migration" 是對於 國際移民組織 的 former name |
| 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