*knows* | *documentation* The epistemic predicate of knowing. (*knows* ?AGENT ?FORMULA) means that ?AGENT *knows* the proposition expressed by ?FORMULA. Note that *knows* *entails* conscious awareness, so this Predicate cannot be used to express tacit or subconscious or unconscious knowledge | |

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

**has axiom** (=> (*and* (*instance* ?COUNT Counting) (agent ?COUNT ?AGENT) (*patient* ?COUNT ?ENTITY)) (exists (?NUMBER) (*knows* ?AGENT (*equal* (*CardinalityFn* ?ENTITY)))))
| |

**has axiom** (=> (*and* (*instance* ?INVESTIGATE Investigating) (agent ?INVESTIGATE ?AGENT) (*patient* ?INVESTIGATE ?PROP)) (*holdsDuring* (*WhenFn* ?INVESTIGATE) (*not* (*knows* ?AGENT ?PROP))))
| |

**has axiom** (=> (*and* (*instance* ?MEAS Measuring) (agent ?MEAS ?AGENT) (*patient* ?MEAS ?OBJ)) (exists (?QUANT ?UNIT) (*holdsDuring* (*ImmediateFutureFn* (*WhenFn* ?MEAS)) (*knows* ?AGENT (*measure* ?OBJ (*MeasureFn* ?QUANT ?UNIT))))))
| |

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

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