Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TruthValue(truth value) |  | cogency, rigor, rigour, validity |
| appearance as argument number 1 |
|
|
| (subclass TruthValue RelationalAttribute) | Merge.kif 17323-17323 | Truth value is a subclass of relational attribute |
| (documentation TruthValue EnglishLanguage "The Class of truth values, e.g. True and False. These are Attributes of Sentences and Propositions.") | Merge.kif 17324-17325 | Truth value is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| (instance True TruthValue) | Merge.kif 17335-17335 | True is an instance of truth value |
| (instance False TruthValue) | Merge.kif 17338-17338 | False is an instance of truth value |
| (termFormat EnglishLanguage TruthValue "truth value") | english_format.kif 1695-1695 | False is an instance of truth value |
| appearance as argument number 3 |
|
|
| (domain truth 2 TruthValue) | Merge.kif 17345-17345 | The number 2 argument of truth is an instance of truth value |
| antecedent |
|
|
| (=> (and (property ?ITEM ?VALUE) (instance ?VALUE TruthValue)) (or (instance ?ITEM Sentence) (instance ?ITEM Proposition))) |
Merge.kif 17327-17333 | If X the attribute Y and Y is an instance of truth value, then X is an instance of sentence or X is an instance of proposition |
|