judicialBranch |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2097-2100 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2094-2094 | 司法部门 的 1 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2095-2095 | 司法部门 的 2 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2093-2093 | 司法部门 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2092-2092 | 司法部门 是 二元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1405-1405 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1404-1404 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1403-1403 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31849-31849 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31848-31848 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31847-31847 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2130-2135 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2124-2128 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2118-2122 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2112-2116 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2147-2149 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2102-2106 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2108-2110 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2155-2159 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2151-2153 |