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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - True
True(true)accuracy, accurate, accurately, acquaintance, actual, actually, apodeictic, apodictic, aright, as_a_matter_of_fact, as_it_is, assumptive, authentic, case, consistency, conversance, conversancy, cope_with, correct, correctly, correctness, data_point, datum, de_facto, demonstrable, demonstrated, exact, existent, fact, factual, factuality, factually, factualness, familiarity, general, genuine, genuinely, genuineness, gospel, gospel_truth, historicalness, hold, home_truth, honest, in_fact, in_point_of_fact, inarguable, incontestable, incontestible, incontrovertible...

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


(documentation True ChineseLanguage "这代表 TruthValue 属真。") chinese_format.kif 3796-3796
(documentation True EnglishLanguage "The TruthValue of being true.") Merge.kif 17078-17078
(instance True TruthValue) Merge.kif 17077-17077 True is an instance of truth value

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


(contraryAttribute False True) Merge.kif 17081-17081 False is the opposite of true
(termFormat ChineseLanguage True "真正") domainEnglishFormat.kif 59337-59337 False is the opposite of true
(termFormat ChineseTraditionalLanguage True "真正") domainEnglishFormat.kif 59336-59336 False is the opposite of true
(termFormat EnglishLanguage True "true") domainEnglishFormat.kif 59335-59335 False is the opposite of true

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


(=>
    (and
        (attribute ?DEVICE Functioning)
        (hasPurpose ?DEVICE ?PROP))
    (truth ?PROP True))		 Mid-level-ontology.kif 1910-1914
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA True))		 UXExperimentalTerms.kif 540-547
(=>
    (and
        (instance ?INSTALL Installing)
        (patient ?INSTALL ?DEVICE)
        (hasPurpose ?DEVICE ?PURPOSE))
    (holdsDuring
        (EndFn
            (WhenFn ?INSTALL))
        (truth ?PURPOSE True)))		 Mid-level-ontology.kif 18986-18991
(=>
    (and
        (instance ?R Regretting)
        (patient ?R ?T)
        (instance ?T Sentence))
    (truth ?T True))		 Mid-level-ontology.kif 13873-13878
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 0))
    (truth ?FORMULA True))		 UXExperimentalTerms.kif 577-584
(=>
    (holdsDuring ?T1
        (prohibits ?A ?F))
    (exists (?S ?B ?P)
        (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 65-78
(=>
    (instance ?FACT Fact)
    (truth ?FACT True))		 Mid-level-ontology.kif 15174-15176
(=>
    (knows ?AGENT ?FORMULA)
    (truth ?FORMULA True))		 Merge.kif 2833-2835
(=>
    (modalAttribute ?FORMULA Likely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA True))
        (ProbabilityFn
            (truth ?FORMULA False))))		 Merge.kif 17625-17631
(=>
    (modalAttribute ?FORMULA Unlikely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA False))
        (ProbabilityFn
            (truth ?FORMULA True))))		 Merge.kif 17637-17643


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