|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14991-14991 | 例 俄語 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3181-3181 | 例 山脈西方語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14995-14995 | 例 西班牙語 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3192-3192 | 例 ticuna語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3206-3206 | 例 tol語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3222-3222 | 例 trumai語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3231-3231 | 例 圖薩語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3239-3239 | 例 warao語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3254-3254 | 例 耶魯語 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3268-3268 | 例 yamana語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3282-3282 | 例 yuchi語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3291-3291 | 例 yuracare語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3300-3300 | 例 zuni語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1448-1448 | 劃分 HumanLanguage, 口語人類語言 and 手動人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4602-4602 | 子類 非洲亞洲語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5063-5063 | 子類 alacalufan語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5093-5093 | 子類 algic 語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5100-5100 | 子類 阿爾泰語 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5329-5329 | 子類 amto musan 語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5359-5359 | 子類 andamanese語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5587-5587 | 子類 araucanian語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5625-5625 | 子類 阿拉瓦坎語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5501-5501 | 子類 aruan語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5632-5632 | 子類 arutani sape 語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5667-5667 | 子類 澳大利亞語言 and 口語人類語言 |
| 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