TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Dining.kif 876-878
No TPTP formula. May not be expressible in strict first order.	Dining.kif 879-879	O argumento numero 1 de contestObject e' uma instancia de Contest
No TPTP formula. May not be expressible in strict first order.	Dining.kif 880-880	O argumento numero 2 de contestObject e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Dining.kif 881-881	O argumento numero 3 de contestObject e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 875-875	contestObject e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3090-3090
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3089-3089
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3088-3088
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65797-65797

antecedent

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

Dining.kif 883-896

consequent

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

Dining.kif 900-909