UnitedStatesSenate - Sigma Knowledge base Browser

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	例美國參議院 and 立法院
No TPTP formula. May not be expressible in strict first order.	Government.kif 4823-4823	部分美國參議院 and 美國國會

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