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

Formal Language: 



KB Term: 

  FrontFn

 Sigma KEE - FrontFn
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
FrontFn
Una Function que mapea un Object al lado que generalmente recibe la mayoría de la atención o que típicamente está orientado al mismo sentido en la que el Object se mueve. Note que esta es una función parcial porque algunos Objects no tienen lados, por ejemplo, manzanas y esféricos. Note que el rango de la Function es indefinido en la misma manera que ImmediateFutureFn y ImmediatePastFn son indefinidos. Aunque este estado indefinido es indeseable desde el punto de vista teórico, no hay implicaciones practicas y significativa desde que hay acuerdo intersubjetivo en casi todas las veces.
Relationships      
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.
 BinaryRelationBinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.
 EntityLa clase universal de individuos. Es el nodo principal de la ontología.
 FunctionA Function is a term-forming Relation that maps from a n-tuple of arguments to a range and that associates this n-tuple with at most one range element. Note that the range is a Class, and each element of the range is an instance of the Class.
 InheritableRelationThe class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
 PartialValuedRelationA Relation is a PartialValuedRelation just in case it is not a TotalValuedRelation, i.e. just in case assigning values to every argument position except the last one does not necessarily mean that there is a value assignment for the last argument position. Note that, if a Relation is both a PartialValuedRelation and a SingleValuedRelation, then it is a partial function.
 RelationThe 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.
 SingleValuedRelationA Relation is a SingleValuedRelation just in case an assignment of values to every argument position except the last one determines at most one assignment for the last argument position. Note that not all SingleValuedRelations are TotalValuedRelations.
 SpatialRelationThe Class of Relations that are spatial in a wide sense. This Class includes mereological relations and topological relations.
 UnaryFunctionThe Class of Functions that require a single argument.
Belongs to Class Entity


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