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 17643-17644
No TPTP formula. May not be expressible in strict first order. Merge.kif 17642-17642 Deontic attribute is a subclass of objective norm

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2496-2496 Ally is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15210-15210 Illegal is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15205-15205 International law is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17663-17663 Law is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15216-15216 Legal is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15181-15181 Legislative bill is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17650-17650 Obligation is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17646-17646 Permission is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17685-17685 Prohibition is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1246-1246 Prohibition is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. english_format.kif 1713-1713 Prohibition is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. french_format.kif 924-924 Prohibition is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 458-458 Prohibition is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. terms-it.txt 461-461 Prohibition is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2608-2608 Prohibition is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 876-876 Prohibition is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 497-497 Prohibition is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. terms-de.txt 756-756 Prohibition is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 945-945 Prohibition is an instance of deontic attribute
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 462-462 Prohibition is an instance of deontic attribute

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15439-15439 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