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 2216-2217
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 2214-2214 政治党派 是 政治机构 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4830-4830 DemocraticPartyUS 是 政治党派 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2240-2240 纳粹党 是 政治党派 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 4835-4835 RepublicanPartyUS 是 政治党派 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 2224-2224 共产党 是 政治党派 的 subclass
No TPTP formula. May not be expressible in strict first order. Government.kif 2208-2208 政治联盟 是 政治党派 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46509-46509
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46508-46508
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46507-46507

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2190-2190 国家政党 的 1 数量 是 政治党派 的 instance

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2259-2263
No TPTP formula. May not be expressible in strict first order. Government.kif 2295-2302