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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - truth
truth

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


s__documentation(s__truth__m,s__ChineseLanguage,'"这是把一句 Sentence 和它的 TruthValue 联系的 BinaryPredicate。"')

chinese_format.kif 3798-3799
s__documentation(s__truth__m,s__EnglishLanguage,'"The BinaryPredicate that relates a Sentence to its TruthValue."')

Merge.kif 16205-16206
s__domain(s__truth__m,n__1,s__Sentence)

Merge.kif 16203-16203 The number 1 argument of truth is an instance of sentence
s__domain(s__truth__m,n__2,s__TruthValue)

Merge.kif 16204-16204 The number 2 argument of truth is an instance of truth value
s__instance(s__truth__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 16202-16202 truth is an instance of binary predicate
s__subrelation(s__truth__m,s__property__m)

Merge.kif 16201-16201 truth is a subrelation of property

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


s__format(s__ChineseLanguage,s__truth__m,'"%1 %n 是 %2"')

chinese_format.kif 197-197
s__format(s__EnglishLanguage,s__truth__m,'"%1 is %n %2"')

english_format.kif 201-201
s__termFormat(s__ChineseLanguage,s__truth__m,'"真值"')

chinese_format.kif 198-198
s__termFormat(s__ChineseLanguage,s__truth__m,'"真相"')

domainEnglishFormat.kif 59327-59327
s__termFormat(s__ChineseTraditionalLanguage,s__truth__m,'"真相"')

domainEnglishFormat.kif 59326-59326
s__termFormat(s__EnglishLanguage,s__truth__m,'"truth"')

domainEnglishFormat.kif 59325-59325

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1781-1785
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1791-1795
( ! [V__FORMULA,V__CONFIDENCE,V__EXPERIMENT] :
   ((s__instance(V__CONFIDENCE,s__RealNumber) =>
       (((s__confidenceInterval(V__EXPERIMENT,V__CONFIDENCE)
           &
           s__instance(V__EXPERIMENT,s__Experimenting) &
           s__instance(V__FORMULA,s__Formula) &
           s__patient(V__EXPERIMENT,V__FORMULA)
         &
         (V__CONFIDENCE = n__100))
       =>
       (s__truth(V__FORMULA,'$false__m')))))
)
)

UXExperimentalTerms.kif 682-689
( ! [V__FORMULA,V__CONFIDENCE,V__EXPERIMENT] :
   ((s__instance(V__CONFIDENCE,s__RealNumber) =>
       (((s__confidenceInterval(V__EXPERIMENT,V__CONFIDENCE)
           &
           s__instance(V__EXPERIMENT,s__Experimenting) &
           s__instance(V__FORMULA,s__Formula) &
           s__patient(V__EXPERIMENT,V__FORMULA)
         &
         (V__CONFIDENCE = n__100))
       =>
       (s__truth(V__FORMULA,'$true__m')))))
)
)

UXExperimentalTerms.kif 673-680
( ! [V__P,V__H,V__PROP] :
   (((s__instance(V__P,s__Agent) &
         s__instance(V__PROP,s__Proposition) &
         s__instance(V__PROP,s__Sentence))
       =>
       (((s__instance(V__H,s__Hallucination) &
             s__experiencer(V__H,V__P))
         =>
         (( ? [V__PER] :
             ((s__instance(V__PER,s__Perception) &
                 s__experiencer(V__PER,V__P)
               &
               s__causes(V__H,V__PER)
             &
             s__containsInformation(V__PER,V__PROP)
           &
           s__truth(V__PROP,'$false__m'))))))))
)
)

Mid-level-ontology.kif 6051-6061
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16622-16627
( ! [V__R,V__T] :
   (((s__instance(V__R,s__Regretting) &
         s__patient(V__R,V__T)
       &
       s__instance(V__T,s__Sentence))
     =>
     (s__truth(V__T,'$true__m')))
)
)

Mid-level-ontology.kif 11833-11838
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 865-872
( ! [V__FORMULA,V__EXPERIMENT,V__VALUE] :
   ((s__instance(V__VALUE,s__RealNumber) =>
       (((s__pValue(V__EXPERIMENT,V__VALUE)
           &
           s__instance(V__EXPERIMENT,s__Experimenting) &
           s__instance(V__FORMULA,s__Formula) &
           s__patient(V__EXPERIMENT,V__FORMULA)
         &
         (V__VALUE = n__0))
       =>
       (s__truth(V__FORMULA,'$true__m')))))
)
)

UXExperimentalTerms.kif 714-721
( ! [V__FORMULA,V__EXPERIMENT,V__VALUE] :
   ((s__instance(V__VALUE,s__RealNumber) =>
       (((s__pValue(V__EXPERIMENT,V__VALUE)
           &
           s__instance(V__EXPERIMENT,s__Experimenting) &
           s__instance(V__FORMULA,s__Formula) &
           s__patient(V__EXPERIMENT,V__FORMULA)
         &
         (V__VALUE = n__1))
       =>
       (s__truth(V__FORMULA,'$false__m')))))
)
)

UXExperimentalTerms.kif 723-730
No TPTP formula. May not be expressible in strict first order. Law.kif 78-91
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18031-18037
( ! [V__FACT] :
   ((s__instance(V__FACT,s__Fact) =>
       (s__truth(V__FACT,'$true__m')))
   )
)

Mid-level-ontology.kif 13096-13098
No TPTP formula. May not be expressible in strict first order. Merge.kif 12371-12376
No TPTP formula. May not be expressible in strict first order. Merge.kif 2746-2748
No TPTP formula. May not be expressible in strict first order. Merge.kif 16720-16722
No TPTP formula. May not be expressible in strict first order. Merge.kif 16728-16730


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