No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13671-13671 |
NorthCentralBirdsHeadLanguage est une sous-classe de BirdsHeadLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13724-13724 |
WestBirdsHeadLanguage est une sous-classe de BirdsHeadLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11159-11159 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11158-11158 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11157-11157 |
|