Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  truth

Sigma KEE - truth
truth

appearance as argument number 1
-------------------------


(documentation truth ChineseLanguage "这是把一句 Sentence 和它的 TruthValue 联系的 BinaryPredicate。") Merge.kif 17176-17177
(documentation truth EnglishLanguage "The BinaryPredicate that relates a Sentence to its TruthValue.") Merge.kif 17174-17175
(domain truth 1 Sentence) Merge.kif 17172-17172
(domain truth 2 TruthValue) Merge.kif 17173-17173
(instance truth BinaryPredicate) Merge.kif 17171-17171
(subrelation truth property) Merge.kif 17170-17170

appearance as argument number 2
-------------------------


(format ChineseLanguage truth "%1 %n 是 %2") chinese_format.kif 197-197
(format EnglishLanguage truth "%1 is %n %2") english_format.kif 125-125
(format ar truth "%1 هو %n %2") arabic_format.kif 68-68
(termFormat ChineseLanguage truth "真值") chinese_format.kif 198-198
(termFormat EnglishLanguage truth "truth") domainEnglishFormat.kif 10322-10322
(termFormat ar truth "«حَقيقَة»") arabic_format.kif 518-518

consequent
-------------------------


(=>
    (and
        (attribute ?DEVICE Functioning)
        (hasPurpose ?DEVICE ?PROP))
    (truth ?PROP True))
Mid-level-ontology.kif 2273-2277
(=>
    (and
        (attribute ?DEVICE Malfunctioning)
        (hasPurpose ?DEVICE ?PROP))
    (truth ?PROP False))
Mid-level-ontology.kif 2283-2287
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT ?EXPERIMENTING)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA False))
UXExperimentalTerms.kif 681-688
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT ?EXPERIMENTING)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA True))
UXExperimentalTerms.kif 672-679
(=>
    (and
        (instance ?INSTALL Installing)
        (patient ?INSTALL ?DEVICE)
        (hasPurpose ?DEVICE ?PURPOSE))
    (holdsDuring
        (EndFn
            (WhenFn ?INSTALL))
        (truth ?PURPOSE True)))
Mid-level-ontology.kif 15297-15302
(=>
    (and
        (instance ?R Regretting)
        (patient ?R ?T)
        (instance ?T Sentence))
    (truth ?T True))
Mid-level-ontology.kif 10569-10574
(=>
    (and
        (instance ?STATE TellingALie)
        (agent ?STATE ?AGENT)
        (patient ?STATE ?STATEMENT))
    (holdsDuring
        (WhenFn ?STATE)
        (believes ?AGENT
            (truth ?STATEMENT False))))
Mid-level-ontology.kif 1311-1318
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT ?EXPERIMENTING)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 0))
    (truth ?FORMULA True))
UXExperimentalTerms.kif 714-721
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT ?EXPERIMENTING)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 1))
    (truth ?FORMULA False))
UXExperimentalTerms.kif 723-730
(=>
    (holdsDuring ?T1
        (prohibits ?A ?F))
    (exists (?S)
        (and
            (instance ?S Stating)
            (agent ?S ?A)
            (containsFormula ?S
                (=>
                    (causes
                        (agent ?P ?B)
                        (truth ?F true))
                    (punishes ?A ?B))))))
Law.kif 78-90
(=>
    (holdsDuring ?TIME
        (attribute ?AGENT Surprise))
    (exists (?PART ?PROP)
        (and
            (temporalPart ?PART
                (PastFn ?TIME))
            (holdsDuring ?PART
                (expects ?AGENT ?PROP))
            (holdsDuring ?TIME
                (truth ?PROP False)))))
Mid-level-ontology.kif 16769-16775
(=>
    (instance ?FACT Fact)
    (truth ?FACT True))
Mid-level-ontology.kif 11603-11605
(=>
    (instance ?PRETEND Pretending)
    (exists (?PERSON ?PROP)
        (and
            (hasPurpose ?PRETEND
                (believes ?PERSON ?PROP))
            (truth ?PROP False))))
Merge.kif 12826-12831
(=>
    (knows ?AGENT ?FORMULA)
    (truth ?FORMULA True))
Merge.kif 3011-3013
(=>
    (modalAttribute ?FORMULA Likely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA True))
        (ProbabilityFn
            (truth ?FORMULA False))))
Merge.kif 17810-17812
(=>
    (modalAttribute ?FORMULA Unlikely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA False))
        (ProbabilityFn
            (truth ?FORMULA True))))
Merge.kif 17820-17822


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners