| False | |
| appearance as argument number 1 |
|
|
| (contraryAttribute False True) | Merge.kif 15850-15850 | |
| (documentation False ChineseLanguage "这代表 TruthValue 属假。") | chinese_format.kif 3797-3797 | |
| (documentation False EnglishLanguage "The TruthValue of being false.") | Merge.kif 15851-15851 | |
| (instance False TruthValue) | Merge.kif 15849-15849 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage False "假") | domainEnglishFormat.kif 23200-23200 | |
| (termFormat ChineseTraditionalLanguage False "假") | domainEnglishFormat.kif 23199-23199 | |
| (termFormat EnglishLanguage False "false") | domainEnglishFormat.kif 23198-23198 |
| consequent |
|
|
| (=> (and (attribute ?DEVICE Malfunctioning) (hasPurpose ?DEVICE ?PROP)) (truth ?PROP False)) |
Mid-level-ontology.kif 2284-2288 | |
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA False)) |
UXExperimentalTerms.kif 680-687 | |
| (=> (and (instance ?STATE TellingALie) (agent ?STATE ?AGENT) (patient ?STATE ?STATEMENT)) (holdsDuring (WhenFn ?STATE) (believes ?AGENT (truth ?STATEMENT False)))) |
Mid-level-ontology.kif 1312-1319 | |
| (=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?VALUE 1)) (truth ?FORMULA False)) |
UXExperimentalTerms.kif 721-728 | |
| (=> (holdsDuring ?TIME (attribute ?AGENT Surprise)) (exists (?PART ?PROP) (and (temporalPart ?PART (PastFn ?TIME)) (holdsDuring ?PART (expects ?AGENT ?PROP)) (holdsDuring ?TIME (truth ?PROP False))))) |
Mid-level-ontology.kif 17160-17166 | |
| (=> (instance ?PRETEND Pretending) (exists (?PERSON ?PROP) (and (hasPurpose ?PRETEND (believes ?PERSON ?PROP)) (truth ?PROP False)))) |
Merge.kif 12112-12117 | |
| (=> (modalAttribute ?FORMULA Likely) (greaterThan (ProbabilityFn (truth ?FORMULA True)) (ProbabilityFn (truth ?FORMULA False)))) |
Merge.kif 16372-16374 | |
| (=> (modalAttribute ?FORMULA Unlikely) (greaterThan (ProbabilityFn (truth ?FORMULA False)) (ProbabilityFn (truth ?FORMULA True)))) |
Merge.kif 16380-16382 |
|
|
|