No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4614-4614 |
EasternBerberLanguage e' uma sub-classe de BerberLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4657-4657 |
GuanacheGroupLanguage e' uma sub-classe de BerberLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4937-4937 |
TamasheqGroupLanguage e' uma sub-classe de BerberLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5038-5038 |
ZenagaGroupLanguage e' uma sub-classe de BerberLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10769-10769 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10768-10768 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10767-10767 |
|