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 and Organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2095-2095 | 域 司法部門, 2 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2093-2093 | 例 司法部門 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2092-2092 | 例 司法部門 and BinaryPredicate |
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 |
|