![]() |
![]() ![]() ![]()
|
![]() |
|
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 | 政治党派 是 政治机构 的 subclass |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4866-4866 | DemocraticPartyUS 是 政治党派 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2276-2276 | 纳粹党 是 政治党派 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4871-4871 | RepublicanPartyUS 是 政治党派 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2260-2260 | 共产党 是 政治党派 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2244-2244 | 政治联盟 是 政治党派 的 subclass |
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 | 国家政党 的 1 数量 是 政治党派 的 instance |
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 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2324-2329 |
![]() |
![]() |