| TruthValue(truth value) | | cogency, rigor, rigour, validity |
| appearance as argument number 1 |
|
|
| (documentation TruthValue ChineseLanguage "这是真值的 Class，即是指 True 和 False。它们 属于 Sentence 和 Proposition 的 Attribute。") | chinese_format.kif 3794-3795 | |
| (documentation TruthValue EnglishLanguage "The Class of truth values, e.g. True and False. These are Attributes of Sentences and Propositions.") | Merge.kif 17041-17042 | |
| (subclass TruthValue RelationalAttribute) | Merge.kif 17040-17040 | Truth value is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| (instance False TruthValue) | Merge.kif 17055-17055 | False is an instance of truth value |
| (instance True TruthValue) | Merge.kif 17052-17052 | True is an instance of truth value |
| (termFormat ChineseLanguage TruthValue "真值") | chinese_format.kif 1235-1235 | True is an instance of truth value |
| (termFormat EnglishLanguage TruthValue "truth value") | english_format.kif 1691-1691 | True is an instance of truth value |
| (termFormat FrenchLanguage TruthValue "vrai") | french_format.kif 913-913 | True is an instance of truth value |
| (termFormat Hindi TruthValue "yathaartha mulya") | terms-hindi.txt 446-446 | True is an instance of truth value |
| (termFormat ItalianLanguage TruthValue "ValoreDiVerit�") | terms-it.txt 449-449 | True is an instance of truth value |
| (termFormat JapaneseLanguage TruthValue "真理値") | japanese_format.kif 2597-2597 | True is an instance of truth value |
| (termFormat PortugueseLanguage TruthValue "Valor Verdade") | portuguese_format.kif 865-865 | True is an instance of truth value |
| (termFormat cb TruthValue "importanteng pagtoo") | terms-cb.txt 451-451 | True is an instance of truth value |
| (termFormat cz TruthValue "truth value") | terms-cz.txt 485-485 | True is an instance of truth value |
| (termFormat ro TruthValue "valoare de adevãr") | relations-ro.kif 934-934 | True is an instance of truth value |
| (termFormat tg TruthValue "halaga ng katotohanan") | terms-tg.txt 450-450 | True is an instance of truth value |
| appearance as argument number 3 |
|
|
| (domain truth 2 TruthValue) | Merge.kif 17062-17062 | 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 17044-17050 |
|
|
|
|