Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeonticAttribute
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners