No TPTP formula. May not be expressible in strict first order. |
Government.kif 844-844 |
接受ICJ的管辖权 是 法律制度属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 810-810 |
民法 是 法律制度属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 826-826 |
英国普通法 是 法律制度属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 839-839 |
伊斯兰法 是 法律制度属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 856-856 |
对行政行为的司法审查 是 法律制度属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 850-850 |
立法行为的司法审查 是 法律制度属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 819-819 |
拿破仑密码 是 法律制度属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 833-833 |
罗马教规法 是 法律制度属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33863-33863 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33862-33862 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33861-33861 |
|