*above* | *documentation* This is a cognitive primitive, derived from the up/down schema *and* *not* involving contact. (*above* ?OBJ1 ?OBJ2) means that ?OBJ1 is *above* ?OBJ2 | |

**has axiom** (=> (*above* ?OBJ1 ?OBJ2) (*not* (*connected* ?OBJ1 ?OBJ2)))
| |

**has axiom** (=> (*under* ?OBJ1 ?OBJ2) (or (on ?OBJ2 ?OBJ1) (*above* ?OBJ2 ?OBJ1)))
| |

**has ***inverse* *below* | |

**is an ***instance* of AsymmetricRelation | |

**is an ***instance* of TransitiveRelation | |

BinaryRelation | **is first ***domain* of *DomainFn* | |

**is first ***domain* of *equivalenceRelationOn* | |

**is first ***domain* of *inverse* | |

**is first ***domain* of *irreflexiveOn* | |

**is first ***domain* of *partialOrderingOn* | |

**is first ***domain* of *RangeFn* | |

**is first ***domain* of *reflexiveOn* | |

**is first ***domain* of *totalOrderingOn* | |

**is first ***domain* of *trichotomizingOn* | |

**is second ***domain* of *inverse* | |

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

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

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