| False(假) | |
| appearance as argument number 1 |
|
|
| (contraryAttribute False True) | Merge.kif 16870-16870 | 假 是 真正 的相反 |
| (documentation False ChineseLanguage "这代表 TruthValue 属假。") | chinese_format.kif 3797-3797 | |
| (documentation False EnglishLanguage "The TruthValue of being false.") | Merge.kif 16871-16871 | |
| (instance False TruthValue) | Merge.kif 16869-16869 | 假 是 真值 的 instance |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage False "假") | domainEnglishFormat.kif 23203-23203 | |
| (termFormat ChineseTraditionalLanguage False "假") | domainEnglishFormat.kif 23202-23202 | |
| (termFormat EnglishLanguage False "false") | domainEnglishFormat.kif 23201-23201 |
| consequent |
|
|
| (=> (and (attribute ?DEVICE Malfunctioning) (hasPurpose ?DEVICE ?PROP)) (truth ?PROP False)) |
Mid-level-ontology.kif 1826-1830 | |
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA False)) |
UXExperimentalTerms.kif 682-689 | |
| (=> (and (instance ?H Hallucination) (experiencer ?H ?P)) (exists (?PER ?PROP) (and (instance ?PER Perception) (experiencer ?PER ?P) (causes ?H ?PER) (containsInformation ?PER ?PROP) (truth ?PROP False)))) |
Mid-level-ontology.kif 6396-6406 | |
| (=> (and (instance ?STATE TellingALie) (agent ?STATE ?AGENT) (patient ?STATE ?STATEMENT)) (holdsDuring (WhenFn ?STATE) (believes ?AGENT (truth ?STATEMENT False)))) |
Mid-level-ontology.kif 894-901 | |
| (=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?VALUE 1)) (truth ?FORMULA False)) |
UXExperimentalTerms.kif 723-730 | |
| (=> (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 19181-19187 |
|
| (=> (instance ?PRETEND Pretending) (exists (?PERSON ?PROP) (and (hasPurpose ?PRETEND (believes ?PERSON ?PROP)) (truth ?PROP False)))) |
Merge.kif 12918-12923 | |
| (=> (modalAttribute ?FORMULA Likely) (greaterThan (ProbabilityFn (truth ?FORMULA True)) (ProbabilityFn (truth ?FORMULA False)))) |
Merge.kif 17414-17416 | |
| (=> (modalAttribute ?FORMULA Unlikely) (greaterThan (ProbabilityFn (truth ?FORMULA False)) (ProbabilityFn (truth ?FORMULA True)))) |
Merge.kif 17422-17424 |
|
|
|