No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6253-6253 |
NorthernChukotkoKamchatkanLanguage est une sous-classe de ChukotkoKamchatkanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6329-6329 |
SouthernChukotkoKamchatkanLanguage est une sous-classe de ChukotkoKamchatkanLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14784-14784 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14783-14783 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14782-14782 |
|