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 | Le nombre 1 argument de judicialBranch est une instance de organisation |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2095-2095 | Le nombre 2 argument de judicialBranch est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2093-2093 | judicialBranch est une instance de relation asym�trique |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2092-2092 | judicialBranch est une instance de pr�dicat binaire |
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 |