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 | 例 合法 and DeonticAttribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13846-13846 | 子屬性 合法 and 允許 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13841-13841 | 相反的屬性 非法 and 合法 |
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 | 模態屬性 Formula and 合法 Formula 模態屬性 Formula and 法 Formula 是 Formula 的 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 |
|