|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1352-1352 | 例 主席 and Position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1498-1498 | 例 美國總統 and Position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1353-1353 | 例 總理 and Position |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4476-4476 | 例 Pulmonologist and Position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1406-1406 | 例 QueenRegnant and Position |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3282-3282 | 例 廣播運營商 and Position |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 454-454 | 例 國防部長 and Position |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 338-338 | 例 服務主管 and Position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2255-2255 | 例 發言人 and Position |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 334-334 | 例 統一指揮官 and Position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2209-2209 | 例 最高法院法官 and Position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1357-1357 | 例 副主席 and Position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1354-1354 | 例 副總統 and Position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1762-1762 | 範圍 會員 and Position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1784-1784 | 範圍 成員角色 and Position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18787-18787 | 子類 大學生的位置 and Position |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4394-4394 | 子類 外國服務職位 and Position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8273-8273 | 子類 體力勞動 and Position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18961-18961 | 子類 建模位置 and Position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20876-20876 | 子類 宗教立場 and Position |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1240-1240 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1701-1701 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 918-918 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 452-452 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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