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

Formal Language: 



KB Term:  Term intersection
English Word: 

  True

Sigma KEE - True
Trueإِمْكان, أرْجحِيّة, اِحْتِمال, رُجْحان, الحقِيقِيّة, الواقِعِيّة, حقِيقة, وَاقِع, شيْء حقِيقِي, حقِيقة, صِدْق, مِصْداقِيّة, حقِيقة, معْلُومة, قِراءة عدّاد, حالة, خَاص, عام, وَاقَع, مُلاحظة, سبب, نتِيجة, حقِيقة, حقِيْقة, وَاقِع, حقِيقة, صِحّة, صِدْق, حقّق, لاءم, ناسب, إلتقى ب, اتحد, اجتمع, التقى, بارى, تصادم, تطابق, تعرف, تقابل, تماشى, دفع القيمة, صادف, قابل, قارن, كافأ, ماثل, ناغم, نسق, واجه, وفى بالمرام, وَافَقَ, صحِيح, صادِق...

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


(documentation True ChineseLanguage "这代表 TruthValue 属真。") Merge.kif 17249-17249
(documentation True EnglishLanguage "The TruthValue of being true.") Merge.kif 17248-17248
(instance True TruthValue) Merge.kif 17247-17247

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


(contraryAttribute False True) Merge.kif 17252-17252
(termFormat EnglishLanguage True "true") domainEnglishFormat.kif 10312-10312

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


(=>
    (and
        (attribute ?DEVICE Functioning)
        (hasPurpose ?DEVICE ?PROP))
    (truth ?PROP True))
Mid-level-ontology.kif 2273-2277
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT ?EXPERIMENTING)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA True))
UXExperimentalTerms.kif 671-678
(=>
    (and
        (instance ?INSTALL Installing)
        (patient ?INSTALL ?DEVICE)
        (hasPurpose ?DEVICE ?PURPOSE))
    (holdsDuring
        (EndFn
            (WhenFn ?INSTALL))
        (truth ?PURPOSE True)))
Mid-level-ontology.kif 15598-15603
(=>
    (and
        (instance ?R Regretting)
        (patient ?R ?T)
        (instance ?T Sentence))
    (truth ?T True))
Mid-level-ontology.kif 10581-10586
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT ?EXPERIMENTING)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 0))
    (truth ?FORMULA True))
UXExperimentalTerms.kif 713-720
(=>
    (instance ?FACT Fact)
    (truth ?FACT True))
Mid-level-ontology.kif 11863-11865
(=>
    (knows ?AGENT ?FORMULA)
    (truth ?FORMULA True))
Merge.kif 3021-3023
(=>
    (modalAttribute ?FORMULA Likely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA True))
        (ProbabilityFn
            (truth ?FORMULA False))))
Merge.kif 17896-17898
(=>
    (modalAttribute ?FORMULA Unlikely)
    (greaterThan
        (ProbabilityFn
            (truth ?FORMULA False))
        (ProbabilityFn
            (truth ?FORMULA True))))
Merge.kif 17906-17908


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners