| DeonticAttribute(deontic attribute) | | ethical, moral, morality, regulation, rule, unethical |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3903-3904 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16311-16312 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16310-16310 | Deontic attribute is a subclass of objective norm |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11476-11476 | Illegal is an instance of deontic attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11471-11471 | International law is an instance of deontic attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16331-16331 | Law is an instance of deontic attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11482-11482 | Legal is an instance of deontic attribute |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11442-11442 | Legislative bill is an instance of deontic attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16318-16318 | Obligation is an instance of deontic attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16314-16314 | Permission is an instance of deontic attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16353-16353 | Prohibition is an instance of deontic attribute |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1246-1246 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1718-1718 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11704-11704 | The number 2 argument of agreement clause is an instance of deontic attribute |
|
|
|