Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 




Sigma KEE - Illegal
KB Term: 
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
illegal
A proposition is Illegal just in case it is inconsistent with any proposition that is a Law.
Relationships      
Parents prohibition Prohibition is the DeonticAttribute that applies to Formulas that an AutonomousAgent is forbidden, by some authority, to make true.
InstancesabstractProperties or qualities as distinguished from any particular embodiment of the properties/qualities in a physical medium. Instances of Abstract can be said to exist in the same sense as mathematical objects such as sets and relations, but they cannot exist at a particular place and time without some physical encoding or embodiment.
 attributeQualities which we cannot or choose not to reify into subclasses of.
 deontic attributeA Class containing all of the Attributes relating to the notions of permission, obligation, and prohibition.
 entityThe universal class of individuals. This is the root node of the ontology.
 normative attributeA Class containing all of the Attributes that are specific to morality, legality, aesthetics, etiquette, etc. Many of these attributes express a judgement that something ought or ought not to be the case.
 objective normThe Class of NormativeAttributes that are associated with an objective criterion for their attribution, i.e. there is broad consensus about the cases where these attributes are applicable.
 relational attributeAny Attribute that an Entity has by virtue of a relationship that it bears to another Entity or set of Entities, e.g. SocialRoles and PositionalAttributes.
Belongs to Class entity


Show simplified definition with tree view
Show full definition (without tree view)
Show full 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