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


KB Term:  Term intersection
English Word: 

  True

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners