No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5372-5372 |
CentralGreatAndamaneseLanguage est une sous-classe de GreatAndamaneseLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5431-5431 |
NorthernGreatAndamaneseLanguage est une sous-classe de GreatAndamaneseLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26526-26526 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26525-26525 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26524-26524 |
|