No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14636-14636 |
例 KhmerLanguage and 奧斯特亞洲語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14692-14692 |
例 VietnameseLanguage and 奧斯特亞洲語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9132-9132 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9131-9131 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9130-9130 |
|