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 | 域 行政部門, 1 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1320-1320 | 例 行政部門 and UnaryFunction |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1322-1322 | 範圍 行政部門 and 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 |
|