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 | The number 1 argument of government type is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 129-129 | The number 2 argument of government type is an instance of form of government |
No TPTP formula. May not be expressible in strict first order. | Government.kif 127-127 | government type is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Government.kif 130-130 | government type is a subrelation of 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 |
|