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。')

Merge.kif 17262-17263
s__documentation(s__truth__m,s__EnglishLanguage,'The BinaryPredicate that relates a Sentence to its TruthValue.')

Merge.kif 17260-17261
s__domain(s__truth__m,1,s__Sentence)

Merge.kif 17258-17258
s__domain(s__truth__m,2,s__TruthValue)

Merge.kif 17259-17259
s__instance(s__BinaryPredicate,s__SetOrClass)

Merge.kif 17257-17257
s__subrelation(s__truth__m,s__property__m)

Merge.kif 17256-17256

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 125-125
s__format(s__ar__m,s__truth__m,'%1 هو %n %2')

arabic_format.kif 68-68
s__termFormat(s__ChineseLanguage,s__truth__m,'真值')

chinese_format.kif 198-198
s__termFormat(s__EnglishLanguage,s__truth__m,'truth')

domainEnglishFormat.kif 10318-10318
s__termFormat(s__ar__m,s__truth__m,'«حَقيقَة»')

arabic_format.kif 518-518

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2273-2277
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2283-2287
( ! [V__EXPERIMENT,V__CONFIDENCE,V__EXPERIMENTING,V__FORMULA] :
   ((s__confidenceInterval(V__EXPERIMENT,V__CONFIDENCE)
     &
     s__instance(V__EXPERIMENT,V__EXPERIMENTING)
   &
   s__instance(V__FORMULA,s__Formula) &
   s__patient(V__EXPERIMENT,V__FORMULA)
&
(V__CONFIDENCE = 100))
=>
s__truth(V__FORMULA,'$false__m'))
)

UXExperimentalTerms.kif 680-687
( ! [V__EXPERIMENT,V__CONFIDENCE,V__EXPERIMENTING,V__FORMULA] :
   ((s__confidenceInterval(V__EXPERIMENT,V__CONFIDENCE)
     &
     s__instance(V__EXPERIMENT,V__EXPERIMENTING)
   &
   s__instance(V__FORMULA,s__Formula) &
   s__patient(V__EXPERIMENT,V__FORMULA)
&
(V__CONFIDENCE = 100))
=>
s__truth(V__FORMULA,'$true__m'))
)

UXExperimentalTerms.kif 671-678
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15598-15603
( ! [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 10581-10586
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1311-1318
( ! [V__EXPERIMENT,V__VALUE,V__EXPERIMENTING,V__FORMULA] :
   ((s__pValue(V__EXPERIMENT,V__VALUE)
     &
     s__instance(V__EXPERIMENT,V__EXPERIMENTING)
   &
   s__instance(V__FORMULA,s__Formula) &
   s__patient(V__EXPERIMENT,V__FORMULA)
&
(V__VALUE = 0))
=>
s__truth(V__FORMULA,'$true__m'))
)

UXExperimentalTerms.kif 713-720
( ! [V__EXPERIMENT,V__VALUE,V__EXPERIMENTING,V__FORMULA] :
   ((s__pValue(V__EXPERIMENT,V__VALUE)
     &
     s__instance(V__EXPERIMENT,V__EXPERIMENTING)
   &
   s__instance(V__FORMULA,s__Formula) &
   s__patient(V__EXPERIMENT,V__FORMULA)
&
(V__VALUE = 1))
=>
s__truth(V__FORMULA,'$false__m'))
)

UXExperimentalTerms.kif 722-729
No TPTP formula. May not be expressible in strict first order. Law.kif 78-90
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17070-17076
( ! [V__FACT] :
   (s__instance(V__FACT,s__Fact) =>
     s__truth(V__FACT,'$true__m'))
)

Mid-level-ontology.kif 11863-11865
No TPTP formula. May not be expressible in strict first order. Merge.kif 12905-12910
No TPTP formula. May not be expressible in strict first order. Merge.kif 3021-3023
No TPTP formula. May not be expressible in strict first order. Merge.kif 17896-17898
No TPTP formula. May not be expressible in strict first order. Merge.kif 17906-17908


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