|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 478-478 | 例 多米尼加手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 485-485 | 例 荷蘭手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 497-497 | 例 厄瓜多爾手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 505-505 | 例 愛沙尼亞手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 527-527 | 例 埃塞俄比亞手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 535-535 | 例 芬蘭手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 549-549 | 例 法語手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 568-568 | 例 德國手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 579-579 | 例 加納手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 591-591 | 例 希臘手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 597-597 | 例 危地馬拉手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 602-602 | 例 幾內亞手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 610-610 | 例 海防手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 616-616 | 例 河內手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 622-622 | 例 hausa手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 627-627 | 例 夏威夷pidgin手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 638-638 | 例 胡志明市手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 644-644 | 例 匈牙利手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 656-656 | 例 冰島手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 666-666 | 例 印度手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 690-690 | 例 印尼手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 697-697 | 例 愛爾蘭手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 712-712 | 例 以色列手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 727-727 | 例 意大利手語 and 聾人手語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 736-736 | 例 牙買加手語 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