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

Formal Language: 


KB Term: 

  HumanLanguage

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
A Predicate is a sentence-forming Relation. Each tuple in the Relation is a finite, ordered sequence of objects. The fact that a particular tuple is an element of a Predicate is denoted by '(*predicate* arg_1 arg_2 .. arg_n)', where the arg_i are the objects so related. In the case of BinaryPredicates, the fact can be read as `arg_1 is *predicate* arg_2' or `a *predicate* of arg_1 is arg_2'.
Relationships      
Parents InheritableRelation The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
  Relation 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 BinaryPredicateA Predicate relating two items - its valence is two.
 ClosedWorldPredicate
 LogicalOperatorThis Class comprises all of the logical operators (viz. 'and', 'or', 'not', '=>', and '<=>').
 QuaternaryPredicateThe Class of Predicates that require four arguments.
 QuintaryPredicateThe Class of Predicates that require five arguments.
 TernaryPredicateThe Class of Predicates that require exactly three arguments.
InstancescontraryAttributeUn contraryAttribute es un conjunto de Attributes de tal manera que algo no puede tener más de uno de estos Attributes simultáneamente. Por ejemplo, (contraryAttribute Pliable Rigid) significa que nada puede ser ambos Pliable y Rigid.
 disjointDecompositionUna disjointDecomposition de una Class C es un conjunto de las subclases de C que son mutuamente dijoint.
 exhaustiveAttributeEste predicado se relaciona una Class a un conjunto de Attributes, y significa que los elementos del conjunto agotan las instancias de la Class. Por ejemplo, (exhaustiveAttribute PhysicalState Solid Fluid Liquid Gas Plasma) significa que sólo hay cinco instancias de la clase PhysicalState, viz. Solid, Fluid, Liquid, Gas y Plasma.
 exhaustiveDecompositionUna exhaustiveDecomposition de una Class C es un conjunto de la subclase C de tal manera que cada instancia de C es una instancia de una de las subclases del conjunto. Nota: Eso no significa necesariamente que los elementos del conjunto son disjuntos. (Véase partition - una partition es una descomposición exhaustiva y disjunta).
 partitionUna partition de una Class C es un conjunto de clases mutuamente disjoint (una partición de la subclase) en la que cubre a C. Cada instancia de C es exactamente una de las subclases en la partición.
 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