Legal
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13874-13875 | |
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 13872-13872 | Legal est une instance de deontic attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13873-13873 | 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 13868-13868 | 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 9345-9357 | |
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 14169-14174 |