Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  PoliticalParty

 Sigma KEE - PoliticalParty
PoliticalParty

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2252-2253
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6779-6779
No TPTP formula. May not be expressible in strict first order. Government.kif 2250-2250 PoliticalParty e' uma sub-classe de Organizacao Politica

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 4866-4866 DemocraticPartyUS e' uma instancia de PoliticalParty
No TPTP formula. May not be expressible in strict first order. Government.kif 2276-2276 NaziParty e' uma instancia de PoliticalParty
No TPTP formula. May not be expressible in strict first order. Government.kif 4871-4871 RepublicanPartyUS e' uma instancia de PoliticalParty
No TPTP formula. May not be expressible in strict first order. Government.kif 2260-2260 CommunistParty e' uma sub-classe de PoliticalParty
No TPTP formula. May not be expressible in strict first order. Government.kif 2244-2244 PoliticalCoalition e' uma sub-classe de PoliticalParty
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46507-46507
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46506-46506
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46505-46505

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2226-2226 O argumento numero 1 de politicalPartyOfCountry e' uma instancia de PoliticalParty

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2295-2299
No TPTP formula. May not be expressible in strict first order. Government.kif 2331-2338