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 | O argumento numero 1 de judicialBranch e' uma instancia de Organizacao |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2095-2095 | O argumento numero 2 de judicialBranch e' uma instancia de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2093-2093 | judicialBranch e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2092-2092 | judicialBranch e' uma instancia de Predicado Binario |
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 |