UnclassifiedSpokenLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3766-3768 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3765-3765 | UnclassifiedSpokenLanguage e' uma sub-classe de SpokenHumanLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3771-3771 | AariyaLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3777-3777 | AbishiraLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3786-3786 | AgavotaguerraLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3794-3794 | AguanoLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3806-3806 | AmeraxLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3814-3814 | AmikoanaLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3820-3820 | AndhLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3830-3830 | BeothukLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3838-3838 | BetafLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3845-3845 | BeteLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3855-3855 | BhatolaLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3861-3861 | BungLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3868-3868 | CaguaLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3874-3874 | CallawallaLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3888-3888 | CandoshiShapraLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3900-3900 | CanichanaLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3908-3908 | CarabayoLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3917-3917 | CentuumLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3925-3925 | ChakLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3936-3936 | ChipiajesLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3942-3942 | CholonLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3950-3950 | CoximaLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3956-3956 | DosoLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3964-3964 | GailLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3975-3975 | HaitianVodounCultureLanguage e' uma instancia de UnclassifiedSpokenLanguage |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |