Legal
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13847-13848 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11341-11341 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11342-11342 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11345-11345 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11344-11344 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11343-11343 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10095-10095 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13845-13845 | 合法 是 道义属性 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13846-13846 | 合法 是 允许 的 subAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13841-13841 | 非法 是 合法 的相反 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33779-33779 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33778-33778 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33777-33777 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13850-13857 | 公式 的声明 has 合法 的语气 若且唯若 不存在 另一个 公式 这样 那个 另外 公式 的声明 has 法 的语气 和 那个 另外 公式 不 是 那个 公式 的 consistent |
No TPTP formula. May not be expressible in strict first order. | Law.kif 526-540 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 573-588 |
|
No TPTP formula. May not be expressible in strict first order. | Law.kif 515-524 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Law.kif 554-571 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9318-9330 | |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 303-305 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14142-14147 |