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

Formal Language: 



KB Term: 

  Predicate

 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.


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