No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14579-14579 |
AvestanLanguage est une instance de EasternIranianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14668-14668 |
OsseticLanguage est une instance de EasternIranianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8883-8883 |
SoutheasternIranianLanguage est une sous-classe de EasternIranianLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20910-20910 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20909-20909 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20908-20908 |
|