No TPTP formula. May not be expressible in strict first order. |
engineering.kif 51-51 |
LexAdjective est une instance de LexiconCategory |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 53-53 |
LexAdverb est une instance de LexiconCategory |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 47-47 |
LexNoun est une instance de LexiconCategory |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 49-49 |
LexVerb est une instance de LexiconCategory |
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 |
|