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