Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(instance True TruthValue) Merge.kif 17335-17335 True is an instance of truth value
(documentation True EnglishLanguage "The TruthValue of being true.") Merge.kif 17336-17336 True is an instance of truth value

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


(contraryAttribute False True) Merge.kif 17339-17339 False is the opposite of true
(termFormat EnglishLanguage True "true") domainEnglishFormat.kif 59299-59299 False is the opposite of true
(termFormat ChineseTraditionalLanguage True "真正") domainEnglishFormat.kif 59300-59300 False is the opposite of true
(termFormat ChineseLanguage True "真正") domainEnglishFormat.kif 59301-59301 False is the opposite of true

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


(=>
    (knows ?AGENT ?FORMULA)
    (truth ?FORMULA True))		 Merge.kif 2948-2950 If X knows Y, then Y is true
(=>
    (modalAttribute ?FORMULA Likely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA True))
        (ProbabilityFn
            (truth ?FORMULA False))))		 Merge.kif 17878-17884 If the statement X has the modal force of likely, then the probability of X is true is greater than the probability of X is false
(=>
    (modalAttribute ?FORMULA Unlikely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA False))
        (ProbabilityFn
            (truth ?FORMULA True))))		 Merge.kif 17890-17896 If the statement X has the modal force of unlikely, then the probability of X is false is greater than the probability of X is true
(=>
    (and
        (attribute ?DEVICE Functioning)
        (hasPurpose ?DEVICE ?PROP))
    (truth ?PROP True))		 Mid-level-ontology.kif 2419-2423 If functioning is an attribute of X and X has the purpose Y, then Y is true
(=>
    (fears ?A ?F)
    (not
        (desires ?A
            (truth ?F True))))		 Mid-level-ontology.kif 8710-8714 If X fears Y, then X doesn't desire Y is not true
(=>
    (and
        (instance ?R Regretting)
        (patient ?R ?T)
        (instance ?T Sentence))
    (truth ?T True))		 Mid-level-ontology.kif 14587-14592 If X is an instance of regretting, Y is a patient of X, and Y is an instance of sentence, then Y is true
(<=>
    (modalAttribute ?F1 Legal)
    (not
        (exists (?F2)
            (and
                (modalAttribute ?F2 Law)
                (truth
                    (not
                        (and ?F1 ?F2)) True)))))		 Mid-level-ontology.kif 15449-15457 The statement X has the modal force of legal if and only if there doesn't exist Y such that the statement Y has the modal force of law and ~{ X } or ~{ Y } is true
(=>
    (instance ?FACT Fact)
    (truth ?FACT True))		 Mid-level-ontology.kif 15850-15852 If X is an instance of fact, then X is true
(=>
    (and
        (instance ?INSTALL Installing)
        (patient ?INSTALL ?DEVICE)
        (hasPurpose ?DEVICE ?PURPOSE))
    (holdsDuring
        (EndFn
            (WhenFn ?INSTALL))
        (truth ?PURPOSE True)))		 Mid-level-ontology.kif 19831-19836 If X is an instance of installing, Y is a patient of X, and Y has the purpose Z, then Z is true holds during the end of the time of existence of X
(=>
    (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 If X prohibits Y holds during Z, then there exist W, V, U such that W is an instance of stating, the time of existence of W takes place during Z, X is an agent of W, and W contains the formula V is an agent of U causes Y is trueX punishes V
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA True))		 UXExperimentalTerms.kif 540-547 If X is the confidence in Y, Y is an instance of experimenting, Z is an instance of formula, Z is a patient of Y, and equal X and 100, then Z is true
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 0))
    (truth ?FORMULA True))		 UXExperimentalTerms.kif 577-584 If the p-value of X is Y, X is an instance of experimenting, Z is an instance of formula, Z is a patient of X, and equal Y and 0, then Z is true
(=>
    (and
        (instance ?W Worrying)
        (experiencer ?W ?A)
        (instance ?A Human))
    (fears ?A
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?W))
            (exists (?F)
                (and
                    (instance ?F Formula)
                    (containsFormula ?W ?F)
                    (truth ?F True))))))		 emotion.kif 1617-1630 If X is an instance of worrying, Y experiences X, and Y is an instance of human, then Y fears there exists Z such that Z is an instance of formula, X contains the formula Z, and Z is true holds during immediately after the time of existence of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners