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 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 129-129 | 域 政府類型, 2 and 政體 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 127-127 | 例 政府類型 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Government.kif 130-130 | 子關係 政府類型 and attribute |
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 |
|