Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

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


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