No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6253-6253 |
NorthernChukotkoKamchatkanLanguage e' uma sub-classe de ChukotkoKamchatkanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6329-6329 |
SouthernChukotkoKamchatkanLanguage e' uma sub-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 |
|