| direct-children | documentation | graph |

Abstract | 5941 | Properties or qualities as distinguished from any particular embodiment of the properties/qualities... | ^ |

Relation | 1655 | The Class of relations. There are three kinds of Relation: Predicate, Function, and List.... | ^ |

SingleValuedRelation | 313 | A Relation is a SingleValuedRelation just in case an assignment of values to every argument pos... | ^ |

TotalValuedRelation | 212 | A Relation is a TotalValuedRelation just in case there exists an assignment for the last argume... | ^ |

PartialValuedRelation | 146 | A Relation is a PartialValuedRelation just in case it is not a TotalValuedRelation, i.e. just... | ^ |

BinaryRelation | 1221 | BinaryRelations are relations that are true only of pairs of things. BinaryRelations are repres... | ^ |

InheritableRelation | 1643 | The class of Relations whose properties can be inherited downward in the class hierarchy via the ... | ^ |

ProbabilityRelation | 5 | The Class of Relations that permit assessment of the probability of an event or situation. | ^ |

SpatialRelation | 87 | The Class of Relations that are spatial in a wide sense. This Class includes mereological rel... | ^ |

TemporalRelation | 42 | The Class of temporal Relations. This Class includes notions of (temporal) topology of interv... | ^ |

IntentionalRelation | 22 | The Class of Relations between an Agent and one or more Entities, where the Relation requ... | ^ |

TernaryRelation | 355 | TernaryRelations relate three items. The two subclasses of TernaryRelation are TernaryPredi... | ^ |

QuaternaryRelation | 29 | QuaternaryRelations relate four items. The two subclasses of QuaternaryRelation are Quatern... | ^ |

QuintaryRelation | 8 | QuintaryRelations relate five items. The two subclasses of QuintaryRelation are QuintaryPre... | ^ |

List | 7 | Every List is a particular ordered n-tuple of items. Generally speaking, Lists are created by m... | ^ |

Predicate | 1279 | A Predicate is a sentence-forming Relation. Each tuple in the Relation is a finite, ordered s... | ^ |

VariableArityRelation | 12 | The Class of Relations that do not have a fixed number of arguments. | ^ |

RelationExtendedToQuantities | 6 | A RelationExtendedToQuantities is a Relation that, when it is true on a sequence of arguments t... | ^ |

PPPBasedEconomicValuation | 10 | PPPBasedEconomicValuation is a class of relations used to state international economic informatio... | ^ |