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	Le nombre 1 argument de contestObject est une instance de affrontement
No TPTP formula. May not be expressible in strict first order.	Dining.kif 880-880	Le nombre 2 argument de contestObject est une instance de objet
No TPTP formula. May not be expressible in strict first order.	Dining.kif 881-881	Le nombre 3 argument de contestObject est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 875-875	contestObject est une instance de pr�dicat ternaire

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