TruthValue - Sigma Knowledge base Browser

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 15832-15833
(subclass TruthValue RelationalAttribute)	Merge.kif 15831-15831

appearance as argument number 2

(instance False TruthValue)	Merge.kif 15846-15846
(instance True TruthValue)	Merge.kif 15843-15843
(termFormat ChineseLanguage TruthValue "真值")	chinese_format.kif 1235-1235
(termFormat EnglishLanguage TruthValue "truth value")	english_format.kif 1696-1696

appearance as argument number 3

(domain truth 2 TruthValue)

Merge.kif 15853-15853

antecedent

(=>
    (and
        (property ?ITEM ?VALUE)
        (instance ?VALUE TruthValue))
    (or
        (instance ?ITEM Sentence)
        (instance ?ITEM Proposition)))

Merge.kif 15835-15841