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