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 |