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 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1320-1320 | 行政部门 是 一元函数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1322-1322 | 行政部门 的 range 是 机构 的实例 |
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 |