Relationships
|
|
|
|
Children |
askPrice | (askPrice ?Obj ?Money ?Agent) means that ?Agent offers to sell ?Obj for the amount of ?Money. |
| bidPrice | (bidPrice ?Obj ?Money ?Agent) means that ?Agent offers to buy ?Obj for the amount of ?Money. |
Instances | Astratto | Properties 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. |
| Entit� | The universal class of individuals. This is the root node of the ontology. |
| InheritableRelation | The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate. |
| Predicato | 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'. |
| Relazione | 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. |
| PredicatoTernario | The Class of Predicates that require exactly three arguments. |
| RelazioneTernaria | TernaryRelations relate three items. The two subclasses of TernaryRelation are TernaryPredicate and BinaryFunction. |
Belongs to Class
|
Entit� |
| | |