| 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