|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4407-4407 | Tapeba language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4414-4414 | Taushiro language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4423-4423 | Tingui boto language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4431-4431 | Traveller scottish language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4442-4442 | Tremembe language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4450-4450 | Truka language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4457-4457 | Uamue language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4465-4465 | Urarina language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4478-4478 | Uru pa in language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4485-4485 | Wakona language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4492-4492 | Waorani language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4503-4503 | Warduji language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4512-4512 | Wasu language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4519-4519 | Waxianghua language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4532-4532 | Weyto language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4543-4543 | Xinca language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4550-4550 | Yari language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4561-4561 | Yaruro language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4570-4570 | Yauma language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4578-4578 | Yeni language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4586-4586 | Yuwana language is an instance of unclassified spoken language |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59846-59846 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59845-59845 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59844-59844 |
|
|
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