No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14579-14579 |
例 AvestanLanguage and 東伊朗語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14668-14668 |
例 OsseticLanguage and 東伊朗語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8883-8883 |
子類 東南伊朗語 and 東伊朗語 |
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 |
|