ExecutiveBranchFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1324-1326 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1321-1321 | The number 1 argument of executive branch is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1320-1320 | Executive branch is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1322-1322 | The range of executive branch is an instance of organization |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 935-935 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 934-934 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 933-933 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22720-22720 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22719-22719 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22718-22718 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1336-1340 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1332-1334 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1336-1340 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1328-1330 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1332-1334 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1534-1536 |
|