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 | The number 1 argument of judicial branch is an instance of organization |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2095-2095 | The number 2 argument of judicial branch is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2093-2093 | judicial branch is an instance of asymmetric relation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2092-2092 | judicial branch is an instance of binary predicate |
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 |
|