| 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 17167-17168 | |
| (domain truth 1 Sentence) | Merge.kif 17165-17165 | |
| (domain truth 2 TruthValue) | Merge.kif 17166-17166 | |
| (instance truth BinaryPredicate) | Merge.kif 17164-17164 | |
| (subrelation truth property) | Merge.kif 17163-17163 |
| 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 59344-59344 | |
| (termFormat ChineseTraditionalLanguage truth "真相") | domainEnglishFormat.kif 59343-59343 | |
| (termFormat EnglishLanguage truth "truth") | domainEnglishFormat.kif 59342-59342 |
| consequent |
|
|
| (=> (and (attribute ?DEVICE Functioning) (hasPurpose ?DEVICE ?PROP)) (truth ?PROP True)) |
Mid-level-ontology.kif 2307-2311 | |
| (=> (and (attribute ?DEVICE Malfunctioning) (hasPurpose ?DEVICE ?PROP)) (truth ?PROP False)) |
Mid-level-ontology.kif 2317-2321 | |
| (=> (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 3450-3461 | |
| (=> (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 7366-7376 | |
| (=> (and (instance ?INSTALL Installing) (patient ?INSTALL ?DEVICE) (hasPurpose ?DEVICE ?PURPOSE)) (holdsDuring (EndFn (WhenFn ?INSTALL)) (truth ?PURPOSE True))) |
Mid-level-ontology.kif 19468-19473 | |
| (=> (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 4201-4216 | |
| (=> (and (instance ?R Regretting) (patient ?R ?T) (instance ?T Sentence)) (truth ?T True)) |
Mid-level-ontology.kif 14308-14313 | |
| (=> (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 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 20919-20925 | |
| (=> (instance ?FACT Fact) (truth ?FACT True)) |
Mid-level-ontology.kif 15617-15619 | |
| (=> (instance ?PRETEND Pretending) (exists (?PERSON ?PROP) (and (hasPurpose ?PRETEND (believes ?PERSON ?PROP)) (truth ?PROP False)))) |
Merge.kif 13181-13186 | |
| (=> (knows ?AGENT ?FORMULA) (truth ?FORMULA True)) |
Merge.kif 2850-2852 | |
| (=> (modalAttribute ?FORMULA Likely) (greaterThan (ProbabilityFn (truth ?FORMULA True)) (ProbabilityFn (truth ?FORMULA False)))) |
Merge.kif 17704-17710 | |
| (=> (modalAttribute ?FORMULA Unlikely) (greaterThan (ProbabilityFn (truth ?FORMULA False)) (ProbabilityFn (truth ?FORMULA True)))) |
Merge.kif 17716-17722 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners