No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4943-4943 |
NorthernTamasheqLanguage e' uma sub-classe de TamasheqGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4976-4976 |
SouthernTamasheqLanguage e' uma sub-classe de TamasheqGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56871-56871 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56870-56870 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56869-56869 |
|