TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 67-68
No TPTP formula. May not be expressible in strict first order.	engineering.kif 69-69	Model e' uma sub-classe de Proposicao

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 242-242	MathematicalModel e' uma sub-classe de Model
No TPTP formula. May not be expressible in strict first order.	engineering.kif 315-315	Multipole e' uma sub-classe de Model
No TPTP formula. May not be expressible in strict first order.	engineering.kif 341-341	MultipoleModel e' uma sub-classe de Model
No TPTP formula. May not be expressible in strict first order.	engineering.kif 389-389	MultipolePole e' uma sub-classe de Model
No TPTP formula. May not be expressible in strict first order.	engineering.kif 433-433	MultipoleSection e' uma sub-classe de Model
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38205-38205
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38204-38204
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38203-38203

appearance as argument number 3

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

engineering.kif 63-63

O argumento numero 1 de models e' uma instancia de Model

consequent

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

engineering.kif 115-119