False |
appearance as argument number 1 |
(contraryAttribute False True) | Merge.kif 17007-17007 | |
(documentation False ChineseLanguage "这代表 TruthValue 属假。") | chinese_format.kif 3797-3797 | |
(documentation False EnglishLanguage "The TruthValue of being false.") | Merge.kif 17008-17008 | |
(instance False TruthValue) | Merge.kif 17006-17006 |
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 1854-1858 | |
(=> (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 6428-6438 | |
(=> (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 4195-4210 | |
(=> (and (instance ?STATE TellingALie) (agent ?STATE ?AGENT) (patient ?STATE ?STATEMENT)) (holdsDuring (WhenFn ?STATE) (believes ?AGENT (truth ?STATEMENT False)))) |
Mid-level-ontology.kif 922-929 | |
(=> (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 19347-19353 | |
(=> (instance ?PRETEND Pretending) (exists (?PERSON ?PROP) (and (hasPurpose ?PRETEND (believes ?PERSON ?PROP)) (truth ?PROP False)))) |
Merge.kif 13049-13054 | |
(=> (modalAttribute ?FORMULA Likely) (greaterThan (ProbabilityFn (truth ?FORMULA True)) (ProbabilityFn (truth ?FORMULA False)))) |
Merge.kif 17551-17553 | |
(=> (modalAttribute ?FORMULA Unlikely) (greaterThan (ProbabilityFn (truth ?FORMULA False)) (ProbabilityFn (truth ?FORMULA True)))) |
Merge.kif 17559-17561 |