TreeView Knowledge Base Browser - seatsHeldInOrganization

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1880-1882
No TPTP formula. May not be expressible in strict first order.	Government.kif 1876-1876	The number 1 argument of seats held in organization is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1877-1877	The number 2 argument of seats held in organization is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1878-1878	The number 3 argument of seats held in organization is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order.	Government.kif 1875-1875	seats held in organization is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2207-2207
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2206-2206
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2205-2205
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51749-51749
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51748-51748
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51747-51747