|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3984-3984 | Hibito language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3992-3992 | Himarima language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3998-3998 | Hwla language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4006-4006 | Iapama language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4013-4013 | Imeraguen language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4024-4024 | Kaimbe language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4031-4031 | Kamba language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4039-4039 | Kambiwa language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4046-4046 | Kapinawa language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4053-4053 | Kara language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4060-4060 | Karahawyana language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4068-4068 | Karipuna language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4077-4077 | Kariri xoco language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4090-4090 | Kariri xoko language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4106-4106 | Kehu language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4099-4099 | Kembra language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4113-4113 | Kohoroxitari language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4120-4120 | Korubo language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4128-4128 | Kujarge language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4139-4139 | Kunza language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4148-4148 | Kwavi language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4155-4155 | Laal language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4167-4167 | Leco language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4176-4176 | Lenca language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4190-4190 | Lepki language is an instance of unclassified spoken language |
| 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