| False(假) | |
| appearance as argument number 1 |
|
|
| (contraryAttribute False True) | Merge.kif 17077-17077 | 假 是 真正 的相反 |
| (documentation False ChineseLanguage "这代表 TruthValue 属假。") | chinese_format.kif 3797-3797 | 假 是 真正 的相反 |
| (documentation False EnglishLanguage "The TruthValue of being false.") | Merge.kif 17078-17078 | 假 是 真正 的相反 |
| (instance False TruthValue) | Merge.kif 17076-17076 | 假 是 真值 的 instance |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage False "假") | domainEnglishFormat.kif 23214-23214 | |
| (termFormat ChineseTraditionalLanguage False "假") | domainEnglishFormat.kif 23213-23213 | |
| (termFormat EnglishLanguage False "false") | domainEnglishFormat.kif 23212-23212 |
| consequent |
|
|
| (=> (and (attribute ?DEVICE Malfunctioning) (hasPurpose ?DEVICE ?PROP)) (truth ?PROP False)) |
Mid-level-ontology.kif 1847-1851 | |
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA False)) |
UXExperimentalTerms.kif 549-556 | |
| (=> (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 6905-6915 | |
| (=> (and (instance ?M Misdiagnosing) (agent ?M ?D) (refers ?M ?P) (instance ?P Human)) (exists (?DIS) (and (containsFormula ?M (attribute ?P ?DIS)) (instance ?DIS DiseaseOrSyndrome) (believes ?D (attribute ?P ?DIS)) (truth (attribute ?P ?DIS) False)))) |
Medicine.kif 4183-4198 |
|
| (=> (and (instance ?STATE TellingALie) (agent ?STATE ?AGENT) (patient ?STATE ?STATEMENT)) (holdsDuring (WhenFn ?STATE) (believes ?AGENT (truth ?STATEMENT False)))) |
Mid-level-ontology.kif 915-922 | |
| (=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?VALUE 1)) (truth ?FORMULA False)) |
UXExperimentalTerms.kif 586-593 | |
| (=> (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 20266-20272 |
|
| (=> (instance ?PRETEND Pretending) (exists (?PERSON ?PROP) (and (hasPurpose ?PRETEND (believes ?PERSON ?PROP)) (truth ?PROP False)))) |
Merge.kif 13098-13103 | |
| (=> (modalAttribute ?FORMULA Likely) (greaterThan (ProbabilityFn (truth ?FORMULA True)) (ProbabilityFn (truth ?FORMULA False)))) |
Merge.kif 17621-17627 | |
| (=> (modalAttribute ?FORMULA Unlikely) (greaterThan (ProbabilityFn (truth ?FORMULA False)) (ProbabilityFn (truth ?FORMULA True)))) |
Merge.kif 17633-17639 |
|
|
|