governmentType |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 132-134 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 128-128 | 政府类型 的 1 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 129-129 | 政府类型 的 2 数量 是 政体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 127-127 | 政府类型 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 130-130 | 政府类型 是 属于 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1113-1113 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1112-1112 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1111-1111 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26340-26340 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26339-26339 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26338-26338 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 352-357 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 345-350 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 256-264 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 242-246 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 223-234 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 142-146 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 917-921 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 906-913 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 136-140 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 332-334 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 148-152 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1588-1595 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2263-2269 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 824-826 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1363-1369 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 527-529 |
|