UnclassifiedSpokenLanguage |
![]() |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3984-3984 | HibitoLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3992-3992 | HimarimaLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 3998-3998 | HwlaLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4006-4006 | IapamaLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4013-4013 | ImeraguenLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4024-4024 | KaimbeLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4031-4031 | KambaLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4039-4039 | KambiwaLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4046-4046 | KapinawaLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4053-4053 | KaraLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4060-4060 | KarahawyanaLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4068-4068 | KaripunaLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4077-4077 | KaririXocoLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4090-4090 | KaririXokoLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4106-4106 | KehuLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4099-4099 | KembraLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4113-4113 | KohoroxitariLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4120-4120 | KoruboLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4128-4128 | KujargeLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4139-4139 | KunzaLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4148-4148 | KwaviLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4155-4155 | LaalLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4167-4167 | LecoLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4176-4176 | LencaLanguage e' uma instancia de UnclassifiedSpokenLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4190-4190 | LepkiLanguage e' uma instancia de UnclassifiedSpokenLanguage |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |