|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14991-14991 | Russian language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3181-3181 | Sierra occidental language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14995-14995 | Spanish language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3192-3192 | Ticuna language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3206-3206 | Tol language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3222-3222 | Trumai language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3231-3231 | Tuxa language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3239-3239 | Warao language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3254-3254 | Yale language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3268-3268 | Yamana language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3282-3282 | Yuchi language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3291-3291 | Yuracare language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3300-3300 | Zuni language is an instance of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1448-1448 | Human language is exhaustively partitioned into spoken human language and manual human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4602-4602 | Afro asiatic language is a subclass of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5063-5063 | Alacalufan language is a subclass of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5093-5093 | Algic language is a subclass of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5100-5100 | Altaic language is a subclass of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5329-5329 | Amto musan language is a subclass of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5359-5359 | Andamanese language is a subclass of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5587-5587 | Araucanian language is a subclass of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5625-5625 | Arawakan language is a subclass of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5501-5501 | Aruan language is a subclass of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5632-5632 | Arutani sape language is a subclass of spoken human language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5667-5667 | Australian language is a subclass of spoken human 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