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.
Instances抽象的な物理的媒体における任意の特性/資質の特定の実施形態と 区別されるプロパティまたは品質。 抽象のインスタンスは、セットや関係など、数学的なオブジェクトと同じ意味で存在すると言える。 しかし、 それらは、いくつかの物理的なエンコーディングや実施形態なしで特定の場所と時間に存在することはでき ない。
 属性サブクラスに再び取り入れることができないか、または 選択できない品質。
 義務的な属性A Class containing all of the Attributes relating to the notions of permission, obligation, and prohibition.
 エンティティー個々の普遍集合。 これがオントロジーのノードのルートで ある。
 規範的属性A 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.
 客観的規範The 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.
 関係属性Entity が関係によって持つ 任意の Attribute で、それは別の Entity または Entity のセットに負担する。 例:SocialRoles と PositionalAttributes。
Belongs to Class エンティティー


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