*TruthFn* | *documentation* The function mapping Sentences to TruthValues | |

**has domain1** Sentence | |

**has domain2** TruthValue | |

**is an ***instance* of UnaryFunction | |

UnaryFunction | **has axiom** (*<=>* (*and* (*holds* ?REL ?INST1 ?INST2) (*instance* ?REL UnaryFunction)) (*equal* (*AssignmentFn* ?REL ?INST1) ?INST2))
| |

**has axiom** (=> (*and* (*closedOn* ?FUNCTION ?CLASS) (*instance* ?FUNCTION UnaryFunction)) (forall (?INST) (=> (*instance* ?INST ?CLASS) (*instance* (*AssignmentFn* ?FUNCTION ?INST) ?CLASS))))
| |

**has axiom** (=> (*and* (*instance* ?FUNCTION UnaryFunction) (*equal* (*AssignmentFn* ?FUNCTION ?ARG) ?VALUE1) (*equal* (*AssignmentFn* ?FUNCTION ?ARG) ?VALUE2)) (*equal* ?VALUE1 ?VALUE2))
| |

**has axiom** (=> (*instance* ?FUNCTION UnaryFunction) (*valence* ?FUNCTION 1))
| |

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

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

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

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

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

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

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

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