TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 43-43
No TPTP formula. May not be expressible in strict first order.	engineering.kif 44-44	LexiconCategory e' uma sub-classe de Atributo Interno

appearance as argument number 2

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

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

engineering.kif 40-40

O argumento numero 2 de lexicon e' uma instancia de LexiconCategory