| 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 15688-15689 | |
| (domain truth 1 Sentence) | Merge.kif 15686-15686 | |
| (domain truth 2 TruthValue) | Merge.kif 15687-15687 | |
| (instance truth BinaryPredicate) | Merge.kif 15685-15685 | |
| (subrelation truth property) | Merge.kif 15684-15684 |
| 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 201-201 | |
| (termFormat ChineseLanguage truth "真值") | chinese_format.kif 198-198 | |
| (termFormat ChineseLanguage truth "真相") | domainEnglishFormat.kif 59305-59305 | |
| (termFormat ChineseTraditionalLanguage truth "真相") | domainEnglishFormat.kif 59304-59304 | |
| (termFormat EnglishLanguage truth "truth") | domainEnglishFormat.kif 59303-59303 |
| consequent |
|
|
| (=> (and (attribute ?DEVICE Functioning) (hasPurpose ?DEVICE ?PROP)) (truth ?PROP True)) |
Mid-level-ontology.kif 2268-2272 | |
| (=> (and (attribute ?DEVICE Malfunctioning) (hasPurpose ?DEVICE ?PROP)) (truth ?PROP False)) |
Mid-level-ontology.kif 2278-2282 | |
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA False)) |
UXExperimentalTerms.kif 678-685 | |
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA True)) |
UXExperimentalTerms.kif 669-676 | |
| (=> (and (instance ?INSTALL Installing) (patient ?INSTALL ?DEVICE) (hasPurpose ?DEVICE ?PURPOSE)) (holdsDuring (EndFn (WhenFn ?INSTALL)) (truth ?PURPOSE True))) |
Mid-level-ontology.kif 15598-15603 | |
| (=> (and (instance ?R Regretting) (patient ?R ?T) (instance ?T Sentence)) (truth ?T True)) |
Mid-level-ontology.kif 10586-10591 | |
| (=> (and (instance ?STATE TellingALie) (agent ?STATE ?AGENT) (patient ?STATE ?STATEMENT)) (holdsDuring (WhenFn ?STATE) (believes ?AGENT (truth ?STATEMENT False)))) |
Mid-level-ontology.kif 1306-1313 | |
| (=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?VALUE 0)) (truth ?FORMULA True)) |
UXExperimentalTerms.kif 710-717 | |
| (=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?VALUE 1)) (truth ?FORMULA False)) |
UXExperimentalTerms.kif 719-726 | |
| (=> (holdsDuring ?T1 (prohibits ?A ?F)) (exists (?S) (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 78-91 | |
| (=> (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 17129-17135 | |
| (=> (instance ?FACT Fact) (truth ?FACT True)) |
Mid-level-ontology.kif 11868-11870 | |
| (=> (instance ?PRETEND Pretending) (exists (?PERSON ?PROP) (and (hasPurpose ?PRETEND (believes ?PERSON ?PROP)) (truth ?PROP False)))) |
Merge.kif 11959-11964 | |
| (=> (knows ?AGENT ?FORMULA) (truth ?FORMULA True)) |
Merge.kif 2739-2741 | |
| (=> (modalAttribute ?FORMULA Likely) (greaterThan (ProbabilityFn (truth ?FORMULA True)) (ProbabilityFn (truth ?FORMULA False)))) |
Merge.kif 16200-16202 | |
| (=> (modalAttribute ?FORMULA Unlikely) (greaterThan (ProbabilityFn (truth ?FORMULA False)) (ProbabilityFn (truth ?FORMULA True)))) |
Merge.kif 16208-16210 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners