No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13040-13040 |
GeorgianGroupLanguage est une sous-classe de SouthCaucasianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13089-13089 |
SvanGroupLanguage est une sous-classe de SouthCaucasianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13107-13107 |
ZanLanguage est une sous-classe de SouthCaucasianLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54086-54086 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54085-54085 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54084-54084 |
|