TreeView Knowledge Base Browser - seatsHeldInOrganization

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1916-1918
No TPTP formula. May not be expressible in strict first order.	Government.kif 1912-1912	Le nombre 1 argument de seatsHeldInOrganization est une instance de organisation
No TPTP formula. May not be expressible in strict first order.	Government.kif 1913-1913	Le nombre 2 argument de seatsHeldInOrganization est une instance de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1914-1914	Le nombre 3 argument de seatsHeldInOrganization est une instance de nombre entier non n�gatif
No TPTP formula. May not be expressible in strict first order.	Government.kif 1911-1911	seatsHeldInOrganization 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 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 51747-51747
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51746-51746
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51745-51745