No TPTP formula. May not be expressible in strict first order. |
engineering.kif 51-51 |
Lex adjective is an instance of lexicon category |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 53-53 |
Lex adverb is an instance of lexicon category |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 47-47 |
Lex noun is an instance of lexicon category |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 49-49 |
Lex verb is an instance of lexicon category |
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 |
|