TreeView Knowledge Base Browser - AgreementOrganizationFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3217-3219
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3214-3214	The number 1 argument of agreement organization is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3213-3213	Agreement organization is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3215-3215	The range of agreement organization is an instance of organization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 92-92
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 91-91
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 90-90
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5925-5925
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5924-5924
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5923-5923

antecedent

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

Geography.kif 3221-3225

consequent

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

Geography.kif 3221-3225