No TPTP formula. May not be expressible in strict first order. |
engineering.kif 51-51 |
例 lex形容詞 and 詞典類別 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 53-53 |
例 lex副詞 and 詞典類別 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 47-47 |
例 lex名詞 and 詞典類別 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 49-49 |
例 lex動詞 and 詞典類別 |
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 |
|