TreeView Knowledge Base Browser - AgreementOrganizationFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2918-2920
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2915-2915	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 2914-2914	Agreement organization is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2916-2916	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 5927-5927
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5926-5926
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5925-5925

antecedent

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

Geography.kif 2922-2926

consequent

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

Geography.kif 2922-2926