truth |
appearance as argument number 1 |
(documentation truth ChineseLanguage "这是把一句 Sentence 和它的 TruthValue 联系的 BinaryPredicate。") | chinese_format.kif 3798-3799 | |
(documentation truth EnglishLanguage "The BinaryPredicate that relates a Sentence to its TruthValue.") | Merge.kif 16992-16993 | |
(domain truth 1 Sentence) | Merge.kif 16990-16990 | 域 真相, 1 and Sentence |
(domain truth 2 TruthValue) | Merge.kif 16991-16991 | 域 真相, 2 and TruthValue |
(instance truth BinaryPredicate) | Merge.kif 16989-16989 | 例 真相 and BinaryPredicate |
(subrelation truth property) | Merge.kif 16988-16988 | 子關係 真相 and 屬性 |
appearance as argument number 2 |
(format ChineseLanguage truth "%1 %n 是 %2") | chinese_format.kif 197-197 | |
(format EnglishLanguage truth "%1 is %n %2") | english_format.kif 198-198 | |
(format JapaneseLanguage truth "%1 is %2 %n") | japanese_format.kif 1947-1947 | |
(termFormat ChineseLanguage truth "真值") | chinese_format.kif 198-198 | |
(termFormat ChineseLanguage truth "真相") | domainEnglishFormat.kif 59360-59360 | |
(termFormat ChineseTraditionalLanguage truth "真相") | domainEnglishFormat.kif 59359-59359 | |
(termFormat EnglishLanguage truth "truth") | domainEnglishFormat.kif 59358-59358 |
consequent |
(=> (and (attribute ?DEVICE Functioning) (hasPurpose ?DEVICE ?PROP)) (truth ?PROP True)) |
Mid-level-ontology.kif 1844-1848 | |
(=> (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 (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA True)) |
UXExperimentalTerms.kif 540-547 | |
(=> (and (instance ?E Electrocardiography) (patient ?E ?H) (agent ?E ?D) (attribute ?D MedicalDoctor)) (hasPurpose ?E (knows ?D (exists (?T) (truth (attribute ?H (ImpairedBodyPartFn Heart)) ?T))))) |
Medicine.kif 3449-3460 |
|
(=> (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 6429-6439 |
|
(=> (and (instance ?INSTALL Installing) (patient ?INSTALL ?DEVICE) (hasPurpose ?DEVICE ?PURPOSE)) (holdsDuring (EndFn (WhenFn ?INSTALL)) (truth ?PURPOSE True))) |
Mid-level-ontology.kif 17897-17902 | |
(=> (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 ?R Regretting) (patient ?R ?T) (instance ?T Sentence)) (truth ?T True)) |
Mid-level-ontology.kif 12977-12982 | |
(=> (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 0)) (truth ?FORMULA True)) |
UXExperimentalTerms.kif 577-584 | |
(=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?VALUE 1)) (truth ?FORMULA False)) |
UXExperimentalTerms.kif 586-593 | |
(=> (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 |
|
(=> (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 19348-19354 |
|
(=> (instance ?FACT Fact) (truth ?FACT True)) |
Mid-level-ontology.kif 14246-14248 | |
(=> (instance ?PRETEND Pretending) (exists (?PERSON ?PROP) (and (hasPurpose ?PRETEND (believes ?PERSON ?PROP)) (truth ?PROP False)))) |
Merge.kif 13027-13032 | |
(=> (knows ?AGENT ?FORMULA) (truth ?FORMULA True)) |
Merge.kif 2838-2840 | |
(=> (modalAttribute ?FORMULA Likely) (greaterThan (ProbabilityFn (truth ?FORMULA True)) (ProbabilityFn (truth ?FORMULA False)))) |
Merge.kif 17529-17531 | |
(=> (modalAttribute ?FORMULA Unlikely) (greaterThan (ProbabilityFn (truth ?FORMULA False)) (ProbabilityFn (truth ?FORMULA True)))) |
Merge.kif 17537-17539 |