QuaternaryRelation | *documentation* QuaternaryRelations relate four items. The two subclasses of QuaternaryRelation are QuaternaryPredicate *and* TernaryFunction | |

**is a kind of** Relation | |

Relation | **is first ***domain* of *domain* | |

**is first ***domain* of *domainSubclass* | |

**is first ***domain* of *holds* | |

**is first ***domain* of *subrelation* | |

**is first ***domain* of *valence* | |

**is second ***domain* of *subrelation* | |

Class | **has axiom** (<=> (instance ?CLASS Class) (subclass ?CLASS Entity))
| |

**has axiom** (forall (?INT) (*domain* *disjointDecomposition* ?INT Class))
| |

**has axiom** (forall (?INT) (*domain* *exhaustiveDecomposition* ?INT Class))
| |

**is third ***domain* of *domain* | |

**is third ***domain* of *domainSubclass* | |

Abstract | **is ***disjoint* from Physical | |