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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - truth
truth

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


(documentation truth ChineseLanguage "这是把一句 Sentence 和它的 TruthValue 联系的 BinaryPredicate。") chinese_format.kif 3798-3799
(documentation truth EnglishLanguage "The BinaryPredicate that relates a Sentence to its TruthValue.") Merge.kif 16739-16740
(domain truth 1 Sentence) Merge.kif 16737-16737
(domain truth 2 TruthValue) Merge.kif 16738-16738
(instance truth BinaryPredicate) Merge.kif 16736-16736
(subrelation truth property) Merge.kif 16735-16735

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 198-198
(termFormat ChineseLanguage truth "真值") chinese_format.kif 198-198
(termFormat ChineseLanguage truth "真相") domainEnglishFormat.kif 59327-59327
(termFormat ChineseTraditionalLanguage truth "真相") domainEnglishFormat.kif 59326-59326
(termFormat EnglishLanguage truth "truth") domainEnglishFormat.kif 59325-59325

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


(=>
    (and
        (attribute ?DEVICE Functioning)
        (hasPurpose ?DEVICE ?PROP))
    (truth ?PROP True))
Mid-level-ontology.kif 1807-1811
(=>
    (and
        (attribute ?DEVICE Malfunctioning)
        (hasPurpose ?DEVICE ?PROP))
    (truth ?PROP False))
Mid-level-ontology.kif 1817-1821
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA False))
UXExperimentalTerms.kif 682-689
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA True))
UXExperimentalTerms.kif 673-680
(=>
    (and
        (instance ?H Hallucination)
        (experiencer ?H ?P))
    (exists (?PER ?PROP)
        (and
            (instance ?PER Perception)
            (experiencer ?PER ?P)
            (causes ?H ?PER)
            (containsInformation ?PER ?PROP)
            (truth ?PROP False))))
Mid-level-ontology.kif 6136-6146
(=>
    (and
        (instance ?INSTALL Installing)
        (patient ?INSTALL ?DEVICE)
        (hasPurpose ?DEVICE ?PURPOSE))
    (holdsDuring
        (EndFn
            (WhenFn ?INSTALL))
        (truth ?PURPOSE True)))
Mid-level-ontology.kif 17368-17373
(=>
    (and
        (instance ?R Regretting)
        (patient ?R ?T)
        (instance ?T Sentence))
    (truth ?T True))
Mid-level-ontology.kif 12497-12502
(=>
    (and
        (instance ?STATE TellingALie)
        (agent ?STATE ?AGENT)
        (patient ?STATE ?STATEMENT))
    (holdsDuring
        (WhenFn ?STATE)
        (believes ?AGENT
            (truth ?STATEMENT False))))
Mid-level-ontology.kif 889-896
(=>
    (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)
            (during
                (WhenFn ?S) ?T1)
            (agent ?S ?A)
            (containsFormula ?S
                (=>
                    (causes
                        (agent ?P ?B)
                        (truth ?F True))
                    (punishes ?A ?B))))))
Law.kif 78-91
(=>
    (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 18783-18789
(=>
    (instance ?FACT Fact)
    (truth ?FACT True))
Mid-level-ontology.kif 13765-13767
(=>
    (instance ?PRETEND Pretending)
    (exists (?PERSON ?PROP)
        (and
            (hasPurpose ?PRETEND
                (believes ?PERSON ?PROP))
            (truth ?PROP False))))
Merge.kif 12800-12805
(=>
    (knows ?AGENT ?FORMULA)
    (truth ?FORMULA True))
Merge.kif 2786-2788
(=>
    (modalAttribute ?FORMULA Likely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA True))
        (ProbabilityFn
            (truth ?FORMULA False))))
Merge.kif 17276-17278
(=>
    (modalAttribute ?FORMULA Unlikely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA False))
        (ProbabilityFn
            (truth ?FORMULA True))))
Merge.kif 17284-17286


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners