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	O argumento numero 1 de seatsHeldInOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 1877-1877	O argumento numero 2 de seatsHeldInOrganization e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1878-1878	O argumento numero 3 de seatsHeldInOrganization e' uma instancia de Numero Inteiro nao-negativo
No TPTP formula. May not be expressible in strict first order.	Government.kif 1875-1875	seatsHeldInOrganization e' uma instancia de Predicado Ternario

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