No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14468-14468 |
例 NorwegianLanguage and 丹麥語瑞典語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14461-14461 |
例 NynorskNorwegianLanguage and 丹麥語瑞典語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7148-7148 |
子類 丹麥語bokmal語言 and 丹麥語瑞典語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7224-7224 |
子類 瑞典團體語言 and 丹麥語瑞典語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18510-18510 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18509-18509 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18508-18508 |
|