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