| True | |
| appearance as argument number 1 |
|
|
| (documentation True ChineseLanguage "这代表 TruthValue 属真。") | chinese_format.kif 3796-3796 | |
| (documentation True EnglishLanguage "The TruthValue of being true.") | Merge.kif 17157-17157 | |
| (instance True TruthValue) | Merge.kif 17156-17156 | True est une instance de vrai |
| appearance as argument number 2 |
|
|
| (contraryAttribute False True) | Merge.kif 17160-17160 | False est l'oppos� de True |
| (termFormat ChineseLanguage True "真正") | domainEnglishFormat.kif 59308-59308 | False est l'oppos� de True |
| (termFormat ChineseTraditionalLanguage True "真正") | domainEnglishFormat.kif 59307-59307 | False est l'oppos� de True |
| (termFormat EnglishLanguage True "true") | domainEnglishFormat.kif 59306-59306 | False est l'oppos� de True |
| consequent |
|
|
| (=> (and (attribute ?DEVICE Functioning) (hasPurpose ?DEVICE ?PROP)) (truth ?PROP True)) |
Mid-level-ontology.kif 2307-2311 | |
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA True)) |
UXExperimentalTerms.kif 540-547 |
|
| (=> (and (instance ?INSTALL Installing) (patient ?INSTALL ?DEVICE) (hasPurpose ?DEVICE ?PURPOSE)) (holdsDuring (EndFn (WhenFn ?INSTALL)) (truth ?PURPOSE True))) |
Mid-level-ontology.kif 19468-19473 | |
| (=> (and (instance ?R Regretting) (patient ?R ?T) (instance ?T Sentence)) (truth ?T True)) |
Mid-level-ontology.kif 14308-14313 | |
| (=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?VALUE 0)) (truth ?FORMULA True)) |
UXExperimentalTerms.kif 577-584 |
|
| (=> (holdsDuring ?T1 (prohibits ?A ?F)) (exists (?S ?B ?P) (and (instance ?S Stating) (during (WhenFn ?S) ?T1) (agent ?S ?A) (containsFormula ?S (=> (causes (agent ?P ?B) (truth ?F True)) (punishes ?A ?B)))))) |
Law.kif 65-78 |
|
| (=> (instance ?FACT Fact) (truth ?FACT True)) |
Mid-level-ontology.kif 15617-15619 | |
| (=> (knows ?AGENT ?FORMULA) (truth ?FORMULA True)) |
Merge.kif 2850-2852 | |
| (=> (modalAttribute ?FORMULA Likely) (greaterThan (ProbabilityFn (truth ?FORMULA True)) (ProbabilityFn (truth ?FORMULA False)))) |
Merge.kif 17704-17710 | |
| (=> (modalAttribute ?FORMULA Unlikely) (greaterThan (ProbabilityFn (truth ?FORMULA False)) (ProbabilityFn (truth ?FORMULA True)))) |
Merge.kif 17716-17722 |
|
|
|