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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - True
True

VerbNet: exist-47.1|prevail, exist-47.1|prevail, exist-47.1|prevail,


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


(documentation True ChineseLanguage "这代表 TruthValue 属真。") chinese_format.kif 3796-3796
(documentation True EnglishLanguage "The TruthValue of being true.") Merge.kif 15798-15798
(instance True TruthValue) Merge.kif 15797-15797 instance True and TruthValue

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


(contraryAttribute False True) Merge.kif 15801-15801 contraryAttribute False and True
(termFormat ChineseLanguage True "真正") domainEnglishFormat.kif 59232-59232
(termFormat ChineseTraditionalLanguage True "真正") domainEnglishFormat.kif 59231-59231
(termFormat EnglishLanguage True "true") domainEnglishFormat.kif 59230-59230

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


(=>
    (and
        (attribute ?DEVICE Functioning)
        (hasPurpose ?DEVICE ?PROP))
    (truth ?PROP True))
Mid-level-ontology.kif 2274-2278
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA True))
UXExperimentalTerms.kif 669-676
(=>
    (and
        (instance ?INSTALL Installing)
        (patient ?INSTALL ?DEVICE)
        (hasPurpose ?DEVICE ?PURPOSE))
    (holdsDuring
        (EndFn
            (WhenFn ?INSTALL))
        (truth ?PURPOSE True)))
Mid-level-ontology.kif 15624-15629
(=>
    (and
        (instance ?R Regretting)
        (patient ?R ?T)
        (instance ?T Sentence))
    (truth ?T True))
Mid-level-ontology.kif 10612-10617
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 0))
    (truth ?FORMULA True))
UXExperimentalTerms.kif 710-717
(=>
    (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
(=>
    (instance ?FACT Fact)
    (truth ?FACT True))
Mid-level-ontology.kif 11894-11896
(=>
    (knows ?AGENT ?FORMULA)
    (truth ?FORMULA True))
Merge.kif 2739-2741
(=>
    (modalAttribute ?FORMULA Likely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA True))
        (ProbabilityFn
            (truth ?FORMULA False))))
Merge.kif 16320-16322
(=>
    (modalAttribute ?FORMULA Unlikely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA False))
        (ProbabilityFn
            (truth ?FORMULA True))))
Merge.kif 16328-16330


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