| direct-children | documentation | graph |

Relation | 1769 | The Class of relations. There are two kinds of Relation: Predicate and Function. Predicat... | ^ |

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

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

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

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

CaseRole | 62 | The Class of Predicates relating the spatially distinguished parts of a Process. CaseRoles ... | ^ |

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

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

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

IntentionalRelation | 23 | The Class of Relations between an AutonomousAgent and one or more Entities, where the Rel... | ^ |

PropositionalAttitude | 7 | The Class of IntentionalRelations where the AutonomousAgent has awareness of a Proposition.... | ^ |

ObjectAttitude | 5 | The Class of IntentionalRelations where the AutonomousAgent has awareness of an instance of &... | ^ |

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

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

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

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

Function | 310 | A Function is a term-forming Relation that maps from a n-tuple of arguments to a range and that... | ^ |

UnaryFunction | 191 | The Class of Functions that require a single argument. | ^ |

BinaryFunction | 101 | The Class of Functions that require two arguments. | ^ |

TernaryFunction | 3 | The Class of Functions that require exactly three arguments. | ^ |

QuaternaryFunction | 4 | The Class of Functions that require exactly four arguments. | ^ |

BinaryPredicate | 1100 | A Predicate relating two items - its valence is two. | ^ |

TernaryPredicate | 282 | The Class of Predicates that require exactly three arguments. | ^ |

QuaternaryPredicate | 27 | The Class of Predicates that require four arguments. | ^ |

QuintaryPredicate | 3 | The Class of Predicates that require five arguments. | ^ |

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