|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3984-3984 | 希比托语 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3992-3992 | Himarima语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3998-3998 | Hwla语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4006-4006 | Iapama语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4013-4013 | Imeraguen语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4024-4024 | Kaimbe语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4031-4031 | Kamba语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4039-4039 | 坎比亚语 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4046-4046 | Kapinawa语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4053-4053 | 卡拉语 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4060-4060 | Karahawyana语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4068-4068 | 卡里普纳语 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4077-4077 | Kariri xoco 语 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4090-4090 | Kariri xoko 语 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4106-4106 | 科胡语 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4099-4099 | Kembra语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4113-4113 | Kohoroxitari语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4120-4120 | Korubo语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4128-4128 | Kujarge语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4139-4139 | 昆扎语 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4148-4148 | Kwavi语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4155-4155 | Laal语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4167-4167 | Leco语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4176-4176 | Lenca语言 是 非语言口语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4190-4190 | Lepki语言 是 非语言口语 的 instance |
| 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