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 15835-15836
(subclass TruthValue RelationalAttribute)	Merge.kif 15834-15834

appearance as argument number 2

(instance False TruthValue)	Merge.kif 15849-15849
(instance True TruthValue)	Merge.kif 15846-15846
(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 15856-15856

antecedent

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

Merge.kif 15838-15844