Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   TailPlane
|
|
|
| appearance as argument number 1 |
|
|
| (subclass DeonticAttribute ObjectiveNorm) | Merge.kif 17816-17816 | Deontic attribute is a subclass of objective norm |
| (documentation DeonticAttribute EnglishLanguage "A Class containing all of the Attributes relating to the notions of permission, obligation, and prohibition.") | Merge.kif 17817-17818 | Deontic attribute is a subclass of objective norm |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain agreementClause 2 DeonticAttribute) | Mid-level-ontology.kif 15669-15669 | The number 2 argument of agreement clause is an instance of deontic attribute |
| (domain policyClause 2 DeonticAttribute) | TravelPolicies.kif 253-253 | The number 2 argument of policy clause is an instance of deontic attribute |
|