| 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 17066-17067 | |
| (subclass TruthValue RelationalAttribute) | Merge.kif 17065-17065 | Truth value is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| (instance False TruthValue) | Merge.kif 17080-17080 | False is an instance of truth value |
| (instance True TruthValue) | Merge.kif 17077-17077 | 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 de TruthValue "Wahrheitswert") | terms-de.txt 744-744 | 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 17087-17087 | 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 17069-17075 |
|
|
|
|