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

Formal Language: 


KB Term: 

  NaturalProcess

Sigma KEE - Predicate
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
述語
Predicate とは、Relation の各タプルが有限で 順序付けされたオブジェクトのシーケンスである文形成 Relation である。 特定のタプルが '(*述語* arg_1 arg_2 .. arg_n)による Predicate の要素であるという事実。 arg_n)'は、arg_i が 関連するオブジェクトである。BinaryPredicates の場合、事実は 'arg_1 は *述語* arg_2' または 'arg_1 の *述語* は arg_2' と読むことができる。
Relationships      
Parents InheritableRelation The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
  関係 The Class of relations. There are two kinds of Relation: Predicate and Function. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators.
Children 2進述語A Predicate relating two items - its valence is two.
 ClosedWorldPredicate
 LogicalOperatorThis Class comprises all of the logical operators (viz. 'and', 'or', 'not', '=>', and '<=>').
 4進述語The Class of Predicates that require four arguments.
 5進述語The Class of Predicates that require five arguments.
 3進述語The Class of Predicates that require exactly three arguments.
InstancescontraryAttributecontraryAttribute は Attributes の セットで、これらの複数の Attributes を同時に持つことができない。 例えば、(contraryAttribute Pliable Rigid) とは、PliableRigid の両方が同時に存在できない、という意味である。
 disjointDecompositionClass C の disjointDecomposition は、相互に disjoint であるCのサブクラスのセットである。
 exhaustiveAttributeこの述部は Class から Attributes のセットに関係している。要するに、このセットの要素が Class のインスタンスを使い果たす、という 意味である。 例えば、(exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas Plasma) とは&、%PhysicalState, すなわちインスタンス、が5つしかないことを意味している。 それらは Solid, Fluid, Liquid, GasPlasma である。
 exhaustiveDecompositionClass C の exhaustiveDecomposition は、Cのサブクラスのセットで、Cのすべてのインスタンスはセット内のサブクラスの1つのインスタンスである。 注:これは必ずしもセットの要素が互いに素であることを意味しているわけではない(partitionを参照 - a partition は互いに素な完全分解である)。
 partitionClass C の partition は 相互に disjoint クラス(サブクラスパーティション)で、C をカバーする。Cのすべてのインスタンスは、パーティション 内の正確な1つのサブクラスのインスタンスである。
 processListThe arguments of this relation are data structures, each of which contains the information necessary for the process already loaded by the operating system to execute on a processor.


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

Show without tree


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