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