|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4199-4199 | Lufu language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4210-4210 | Luo language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4216-4216 | Majhwar language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4226-4226 | Malakhel language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4234-4234 | Mato grosso arara language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4242-4242 | Mawa language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4250-4250 | Miarra language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4256-4256 | Molengue language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4266-4266 | Monimbo language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4273-4273 | Movima language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4282-4282 | Mukha dora language 語 is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4292-4292 | Muniche language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4300-4300 | Murkim language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4308-4308 | Mutus language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4318-4318 | Natagaimas language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4326-4326 | Pankarare language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4333-4333 | Papavo language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4340-4340 | Pataxo hahaai language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4349-4349 | Pijao language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4357-4357 | Polari language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4364-4364 | Puquina language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4371-4371 | Quinqui language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4382-4382 | Rer bare language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4392-4392 | Sakirabia language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4400-4400 | Shobang 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