No TPTP formula. May not be expressible in strict first order. | Merge.kif 1491-1491 | Spoken human language is a subclass of human language |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13139-13139 | Tonal 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 3312-3312 | Mixed language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3468-3468 | Pidgin language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3765-3765 | Unclassified spoken language is a subclass of spoken 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 5501-5501 | Aruan 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 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 |
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 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 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 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6491-6491 | Guahiban language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6569-6569 | Gulf language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6606-6606 | Harakmbet language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6650-6650 | Hokan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6656-6656 | Huavean language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11310-11310 | Japanese group language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11520-11520 | Jivaroan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11578-11578 | Katukinan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11609-11609 | Keres language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11645-11645 | Khoisan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11652-11652 | Kiowa tanoan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11726-11726 | Left may language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11804-11804 | Lower mamberamo language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11843-11843 | Lule vilela language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11861-11861 | Macro ge language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11868-11868 | Maku language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 11944-11944 | Mascoian language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12018-12018 | Mataco guaicuru language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12166-12166 | Mayan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12173-12173 | Misumalpan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12249-12249 | Mixe zoque language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12256-12256 | Mosetenan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12274-12274 | Mura language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12293-12293 | Muskogean language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12394-12394 | Na dene language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12401-12401 | Nambiquaran language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12456-12456 | Niger congo language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12464-12464 | Nilo saharan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12509-12509 | North caucasian language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12517-12517 | Oto manguean language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12524-12524 | Paezan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12545-12545 | Panoan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12552-12552 | Peba yaguan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12579-12579 | Penutian language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12587-12587 | Quechuan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12595-12595 | Salishan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12602-12602 | Salivan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12638-12638 | Sepik ramu language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12661-12661 | Siouan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12953-12953 | Sko language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13033-13033 | South caucasian language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13145-13145 | Subtiaba tlapanec language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13200-13200 | Tacanan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13306-13306 | Tai kadai language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13314-13314 | Torricelli language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13321-13321 | Totonacan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13456-13456 | Trans new guinea language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13526-13526 | Tucanoan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13534-13534 | Tupi language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13541-13541 | Uralic language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13547-13547 | Uru chipaya language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13577-13577 | Uto aztecan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13584-13584 | Wakashan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13659-13659 | West papuan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14042-14042 | Witotoan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14164-14164 | Yanomam language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14229-14229 | Yenisei ostyak language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14258-14258 | Yukaghir language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14312-14312 | Yuki group language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14333-14333 | Zamucoan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14363-14363 | Zaparoan 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 |