No TPTP formula. May not be expressible in strict first order. |
engineering.kif 51-51 |
Lex形容词 是 词典类别 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 53-53 |
Lex副词 是 词典类别 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 47-47 |
Lex名词 是 词典类别 的 instance |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 49-49 |
Lex动词 是 词典类别 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34205-34205 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34204-34204 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34203-34203 |
|