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 17142-17142
(instance True TruthValue) Merge.kif 17141-17141 True is an instance of truth value

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


(contraryAttribute False True) Merge.kif 17145-17145 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 2306-2310
(=>
    (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 19485-19490
(=>
    (and
        (instance ?R Regretting)
        (patient ?R ?T)
        (instance ?T Sentence))
    (truth ?T True))		 Mid-level-ontology.kif 14326-14331
(=>
    (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 15635-15637
(=>
    (knows ?AGENT ?FORMULA)
    (truth ?FORMULA True))		 Merge.kif 2835-2837
(=>
    (modalAttribute ?FORMULA Likely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA True))
        (ProbabilityFn
            (truth ?FORMULA False))))		 Merge.kif 17689-17695
(=>
    (modalAttribute ?FORMULA Unlikely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA False))
        (ProbabilityFn
            (truth ?FORMULA True))))		 Merge.kif 17701-17707


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