No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13678-13678 |
CentralBirdsHeadLanguage est une sous-classe de NorthCentralBirdsHeadLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13707-13707 |
NorthBirdsHeadLanguage est une sous-classe de NorthCentralBirdsHeadLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40997-40997 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40996-40996 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40995-40995 |
|