*believes* | *documentation* The epistemic predicate of belief. (*believes* ?AGENT ?FORMULA) means that ?AGENT *believes* the proposition expressed by ?FORMULA | |

**has axiom** (=> (*instance* ?ORG ReligiousOrganization) (exists (?PROP) (forall (?PERSON) (=> (*member* ?PERSON ?ORG) (*believes* ?PERSON ?PROP)))))
| |

**has axiom** (=> (*knows* ?AGENT ?FORMULA) (*believes* ?AGENT ?FORMULA))
| |

**has axiom** (=> (*holdsDuring* ?TIME (exists (?LEARN) (*and* (*instance* ?LEARN Learning) (agent ?LEARN ?AGENT) (*patient* ?LEARN ?PROP)))) (*holdsDuring* (*ImmediateFutureFn* ?TIME) (*believes* ?AGENT ?PROP)))
| |

**has domain1** Agent | |

**has domain2** Formula | |

**is an ***instance* of PropositionalAttitude | |

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 | |