MagneticFluxMeasure | **is a kind of** FunctionQuantity | |

FunctionQuantity | *documentation* A FunctionQuantity is a Function that maps from one or more instances of ConstantQuantity to another *instance* of ConstantQuantity. For example, the velocity of a particle would be represented by a FunctionQuantity mapping values of *time* (which are ConstantQuantities) to values of *distance* (also ConstantQuantities). Note that all instances of FunctionQuantity are Functions with a fixed arity. Note too that all elements of the *range* of a FunctionQuantity have the same physical dimension as the FunctionQuantity itself | |

Function | **is first ***domain* of *AssignmentFn* | |

**is first ***domain* of *closedOn* | |

**is first ***domain* of *range* | |

**is first ***domain* of *rangeSubclass* | |

PhysicalQuantity | **is partitioned into** ConstantQuantity, FunctionQuantity | |

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

Quantity | **is second ***domain* of *AdditionFn* | |

**is second ***domain* of *DivisionFn* | |

**is second ***domain* of *greaterThan* | |

**is second ***domain* of *greaterThanOrEqualTo* | |

**is second ***domain* of *lessThan* | |

**is second ***domain* of *lessThanOrEqualTo* | |

**is second ***domain* of *MaxFn* | |

**is second ***domain* of *MinFn* | |

**is second ***domain* of *MultiplicationFn* | |

**is second ***domain* of *RemainderFn* | |

**is second ***domain* of *SubtractionFn* | |

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 | **has axiom** (*<=>* (*instance* ?ABS Abstract) (*not* (exists (?POINT) (or (*located* ?ABS ?POINT) (*existant* ?ABS ?POINT)))))
| |

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