TreeView Knowledge Base Browser - UnitedStatesSenate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4824-4825
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6942-6942
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8169-8169
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8172-8172
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8170-8170
No TPTP formula. May not be expressible in strict first order.	Government.kif 4822-4822	UnitedStatesSenate e' uma instancia de LegislativeChamber
No TPTP formula. May not be expressible in strict first order.	Government.kif 4823-4823	UnitedStatesSenate e' uma &parte de UnitedStatesCongress

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60422-60422
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60421-60421
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60420-60420