| TruthValue(vrai) | |
| 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 17130-17131 | |
| (subclass TruthValue RelationalAttribute) | Merge.kif 17129-17129 | Vrai est une sous-classe de attribut relationnel |
| appearance as argument number 2 |
|
|
| (instance False TruthValue) | Merge.kif 17144-17144 | False est une instance de vrai |
| (instance True TruthValue) | Merge.kif 17141-17141 | True est une instance de vrai |
| (termFormat ChineseLanguage TruthValue "真值") | chinese_format.kif 1235-1235 | True est une instance de vrai |
| (termFormat EnglishLanguage TruthValue "truth value") | english_format.kif 1691-1691 | True est une instance de vrai |
| (termFormat FrenchLanguage TruthValue "vrai") | french_format.kif 913-913 | True est une instance de vrai |
| (termFormat Hindi TruthValue "yathaartha mulya") | terms-hindi.txt 446-446 | True est une instance de vrai |
| (termFormat ItalianLanguage TruthValue "ValoreDiVerit�") | terms-it.txt 449-449 | True est une instance de vrai |
| (termFormat JapaneseLanguage TruthValue "真理値") | japanese_format.kif 2597-2597 | True est une instance de vrai |
| (termFormat PortugueseLanguage TruthValue "Valor Verdade") | portuguese_format.kif 865-865 | True est une instance de vrai |
| (termFormat cb TruthValue "importanteng pagtoo") | terms-cb.txt 451-451 | True est une instance de vrai |
| (termFormat cz TruthValue "truth value") | terms-cz.txt 485-485 | True est une instance de vrai |
| (termFormat de TruthValue "Wahrheitswert") | terms-de.txt 744-744 | True est une instance de vrai |
| (termFormat ro TruthValue "valoare de adevãr") | relations-ro.kif 934-934 | True est une instance de vrai |
| (termFormat tg TruthValue "halaga ng katotohanan") | terms-tg.txt 450-450 | True est une instance de vrai |
| appearance as argument number 3 |
|
|
| (domain truth 2 TruthValue) | Merge.kif 17151-17151 | Le nombre 2 argument de truth est une instance de vrai |
| antecedent |
|
|
| (=> (and (property ?ITEM ?VALUE) (instance ?VALUE TruthValue)) (or (instance ?ITEM Sentence) (instance ?ITEM Proposition))) |
Merge.kif 17133-17139 |
|
|
|