Legal
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13846-13847 | |
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 13844-13844 | Legal est une instance de deontic attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13845-13845 | Legal est un sous-attribut de Permission |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13840-13840 | Illegal est l'oppos� de Legal |
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 |
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 9317-9329 | |
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 14141-14146 |