|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3984-3984 | 例 希比托語 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3992-3992 | 例 himarima語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3998-3998 | 例 hwla語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4006-4006 | 例 iapama語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4013-4013 | 例 imeraguen語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4024-4024 | 例 kaimbe語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4031-4031 | 例 kamba語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4039-4039 | 例 坎比亞語 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4046-4046 | 例 kapinawa語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4053-4053 | 例 卡拉語 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4060-4060 | 例 karahawyana語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4068-4068 | 例 卡里普納語 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4077-4077 | 例 kariri xoco 語 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4090-4090 | 例 kariri xoko 語 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4106-4106 | 例 科胡語 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4099-4099 | 例 kembra語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4113-4113 | 例 kohoroxitari語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4120-4120 | 例 korubo語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4128-4128 | 例 kujarge語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4139-4139 | 例 昆扎語 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4148-4148 | 例 kwavi語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4155-4155 | 例 laal語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4167-4167 | 例 leco語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4176-4176 | 例 lenca語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4190-4190 | 例 lepki語言 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