|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4199-4199 | 例 lufu語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4210-4210 | 例 羅語 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4216-4216 | 例 majhwar語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4226-4226 | 例 malakhel語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4234-4234 | 例 mato grosso arara 語 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4242-4242 | 例 mawa語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4250-4250 | 例 miarra語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4256-4256 | 例 molengue語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4266-4266 | 例 monimbo語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4273-4273 | 例 movima語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4282-4282 | 例 mukha dora 语 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4292-4292 | 例 muniche語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4300-4300 | 例 murkim語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4308-4308 | 例 mutus語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4318-4318 | 例 natagaimas語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4326-4326 | 例 潘卡拉雷語 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4333-4333 | 例 papavo語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4340-4340 | 例 pataxo hahaai 語 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4349-4349 | 例 pijao語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4357-4357 | 例 極化語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4364-4364 | 例 puquina語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4371-4371 | 例 quinqui語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4382-4382 | 例 rer bare語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4392-4392 | 例 sakirabia語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4400-4400 | 例 shobang語言 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