SpokenHumanLanguage(spoken human language)

-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 5706-5706 Austro asiatic language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 5714-5714 Austronesian language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 5721-5721 Aymaran language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 5767-5767 Barbacoan language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 5866-5866 Basque group language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 5928-5928 Bayono awbono language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 5954-5954 Caddoan language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 6049-6049 Cahuapanan language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 6075-6075 Cant language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 6120-6120 Carib language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 6126-6126 Chapacura wanham language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 6193-6193 Chibchan language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 6199-6199 Chimakuan language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14592-14592 Chinese language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 6216-6216 Choco language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 6222-6222 Chon language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 6246-6246 Chukotko kamchatkan language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 6351-6351 Chumash group language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 6413-6413 Coahuiltecan language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 1402-1402 Creole language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 6430-6430 Dravidian language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 6436-6436 East birds head language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 6471-6471 East papuan language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 6478-6478 Eskimo aleut language is a subclass of spoken human language
No TPTP formula. May not be expressible in strict first order. Languages.kif 6485-6485 Geelvink bay 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