SUO: Where are the axioms that establish the condition of a class ?
The documentation of Class contains the following specification:
... Classes typically have an associated `condition'
that determines the instances of the Class.
Yet I can find no axioms in SUMO that implements these conditions. In
particular I'm looking for the axiom of inheritance which informally might
read something like:
If ClassB is a subclass of ClassA,
and all instances of ClassA have property P,
then all instances of ClassB have property P.
The mentograph of this is
http://robustai.net/mentography/inheritance.gif
Apologies in advance if I missed it.
Seth Russell