| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1491-1491 | SpokenHumanLanguage est une sous-classe de langage humain |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13139-13139 | TonalLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 1402-1402 | CreoleLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3312-3312 | MixedLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3468-3468 | PidginLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3765-3765 | UnclassifiedSpokenLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4602-4602 | AfroAsiaticLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5063-5063 | AlacalufanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5093-5093 | AlgicLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5100-5100 | AltaicLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5329-5329 | AmtoMusanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5359-5359 | AndamaneseLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5501-5501 | AruanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5587-5587 | AraucanianLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5625-5625 | ArawakanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5632-5632 | ArutaniSapeLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5667-5667 | AustralianLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5706-5706 | AustroAsiaticLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5714-5714 | AustronesianLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5721-5721 | AymaranLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5767-5767 | BarbacoanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5866-5866 | BasqueGroupLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5928-5928 | BayonoAwbonoLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5954-5954 | CaddoanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6049-6049 | CahuapananLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6075-6075 | CantLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6120-6120 | CaribLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6126-6126 | ChapacuraWanhamLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6193-6193 | ChibchanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6199-6199 | ChimakuanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6216-6216 | ChocoLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6222-6222 | ChonLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6246-6246 | ChukotkoKamchatkanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6351-6351 | ChumashGroupLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6413-6413 | CoahuiltecanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6430-6430 | DravidianLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6436-6436 | EastBirdsHeadLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6471-6471 | EastPapuanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6478-6478 | EskimoAleutLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6485-6485 | GeelvinkBayLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6491-6491 | GuahibanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6569-6569 | GulfLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6606-6606 | HarakmbetLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6650-6650 | HokanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6656-6656 | HuaveanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11310-11310 | JapaneseGroupLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11520-11520 | JivaroanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11578-11578 | KatukinanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11609-11609 | KeresLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11645-11645 | KhoisanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11652-11652 | KiowaTanoanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11726-11726 | LeftMayLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11804-11804 | LowerMamberamoLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11843-11843 | LuleVilelaLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11861-11861 | MacroGeLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11868-11868 | MakuLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 11944-11944 | MascoianLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12018-12018 | MatacoGuaicuruLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12166-12166 | MayanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12173-12173 | MisumalpanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12249-12249 | MixeZoqueLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12256-12256 | MosetenanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12274-12274 | MuraLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12293-12293 | MuskogeanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12394-12394 | NaDeneLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12401-12401 | NambiquaranLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12456-12456 | NigerCongoLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12464-12464 | NiloSaharanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12509-12509 | NorthCaucasianLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12517-12517 | OtoMangueanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12524-12524 | PaezanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12545-12545 | PanoanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12552-12552 | PebaYaguanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12579-12579 | PenutianLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12587-12587 | QuechuanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12595-12595 | SalishanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12602-12602 | SalivanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12638-12638 | SepikRamuLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12661-12661 | SiouanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12953-12953 | SkoLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13033-13033 | SouthCaucasianLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13145-13145 | SubtiabaTlapanecLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13200-13200 | TacananLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13306-13306 | TaiKadaiLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13314-13314 | TorricelliLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13321-13321 | TotonacanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13456-13456 | TransNewGuineaLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13526-13526 | TucanoanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13534-13534 | TupiLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13541-13541 | UralicLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13547-13547 | UruChipayaLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13577-13577 | UtoAztecanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13584-13584 | WakashanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 13659-13659 | WestPapuanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14042-14042 | WitotoanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14164-14164 | YanomamLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14229-14229 | YeniseiOstyakLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14258-14258 | YukaghirLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14312-14312 | YukiGroupLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14333-14333 | ZamucoanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14363-14363 | ZaparoanLanguage est une sous-classe de SpokenHumanLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14592-14592 | ChineseLanguage est une sous-classe de SpokenHumanLanguage |
|
|