| appearance as argument number 1 |
|
| (documentation Formula ChineseLanguage "一个句法结构良好、以SUO-KIF知识表示语言的公式。") | chinese_format.kif 1682-1682 | |
| (documentation Formula EnglishLanguage "A syntactically well-formed formula in the SUO-KIF knowledge representation language.") | Merge.kif 1430-1431 | |
| (subclass Formula Sentence) | Merge.kif 1428-1428 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Formula "公式") | chinese_format.kif 847-847 | |
| (termFormat EnglishLanguage Formula "formula") | english_format.kif 901-901 |
| appearance as argument number 3 |
|
|
| (domain KappaFn 2 Formula) | Merge.kif 5307-5307 | |
| (domain ProbabilityFn 1 Formula) | Merge.kif 2479-2479 | |
| (domain attitudeForFormula 3 Formula) | emotion.kif 2025-2025 | |
| (domain believes 2 Formula) | Merge.kif 2717-2717 | |
| (domain causesProposition 1 Formula) | Merge.kif 3692-3692 | |
| (domain causesProposition 2 Formula) | Merge.kif 3693-3693 | |
| (domain conditionalProbability 1 Formula) | Merge.kif 2489-2489 | |
| (domain conditionalProbability 2 Formula) | Merge.kif 2490-2490 | |
| (domain confersNorm 2 Formula) | Merge.kif 3861-3861 | |
| (domain confersObligation 1 Formula) | Merge.kif 16294-16294 | |
| (domain confersRight 1 Formula) | Merge.kif 16273-16273 | |
| (domain considers 2 Formula) | Merge.kif 2707-2707 | |
| (domain containsFormula 2 Formula) | Law.kif 22-22 | |
| (domain decreasesLikelihood 1 Formula) | Merge.kif 2522-2522 | |
| (domain decreasesLikelihood 2 Formula) | Merge.kif 2523-2523 | |
| (domain deprivesNorm 2 Formula) | Merge.kif 3883-3883 | |
| (domain describes 1 Formula) | Mid-level-ontology.kif 13822-13822 | |
| (domain desires 2 Formula) | Merge.kif 2695-2695 | |
| (domain disapproves 2 Formula) | Mid-level-ontology.kif 7126-7126 | |
| (domain doubts 2 Formula) | Mid-level-ontology.kif 7096-7096 | |
| (domain entails 1 Formula) | Merge.kif 736-736 | |
| (domain entails 2 Formula) | Merge.kif 737-737 | |
| (domain expects 2 Formula) | Mid-level-ontology.kif 7048-7048 | |
| (domain hasPurpose 2 Formula) | Merge.kif 3814-3814 | |
| (domain hasPurposeForAgent 2 Formula) | Merge.kif 3830-3830 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (=> (and (agreementEffectiveDuring ?AGR ?DATE) (instance ?TIME ?DATE) (instance ?FORMULA Formula) (containsInformation ?FORMULA ?AGR)) (holdsDuring ?TIME ?FORMULA)) |
Government.kif 753-759 | |
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA False)) |
UXExperimentalTerms.kif 680-687 | |
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA True)) |
UXExperimentalTerms.kif 671-678 | |
| (=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?CONFIDENCE (ProbabilityFn ?FORMULA))) |
UXExperimentalTerms.kif 662-668 | |
| (=> (and (instance ?COMMIT Committing) (patient ?COMMIT ?FORMULA) (instance ?FORMULA Formula)) (modalAttribute ?FORMULA Promise)) |
Merge.kif 12308-12313 | |
| (=> (and (instance ?FORMULA1 Formula) (instance ?FORMULA2 Formula)) (or (increasesLikelihood ?FORMULA1 ?FORMULA2) (decreasesLikelihood ?FORMULA1 ?FORMULA2) (independentProbability ?FORMULA1 ?FORMULA2))) |
Merge.kif 2553-2560 | |
| (=> (and (instance ?QUESTION Questioning) (agent ?QUESTION ?AGENT) (patient ?QUESTION ?FORMULA) (instance ?FORMULA Formula)) (holdsDuring (WhenFn ?QUESTION) (not (knows ?AGENT ?FORMULA)))) |
Merge.kif 12295-12301 | |
| (=> (and (instance ?REQUEST Requesting) (agent ?REQUEST ?AGENT) (patient ?REQUEST ?FORMULA) (instance ?FORMULA Formula)) (desires ?AGENT ?FORMULA)) |
Merge.kif 12282-12288 | |
| (=> (and (instance ?STATE Stating) (agent ?STATE ?AGENT) (patient ?STATE ?FORMULA) (instance ?FORMULA Formula)) (holdsDuring (WhenFn ?STATE) (believes ?AGENT ?FORMULA))) |
Merge.kif 12224-12230 | |
| (=> (and (instance ?TEXT ?CLASS) (subclass ?CLASS FactualText) (authors ?AGENT ?CLASS) (subsumesContentInstance ?TEXT ?CONTENT) (instance ?CONTENT Formula)) (believes ?AGENT ?CONTENT)) |
Merge.kif 14278-14285 | |
| (=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?VALUE 0)) (truth ?FORMULA True)) |
UXExperimentalTerms.kif 712-719 | |
| (=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?VALUE 1)) (truth ?FORMULA False)) |
UXExperimentalTerms.kif 721-728 | |
| (=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?VALUE (ProbabilityFn ?FORMULA))) |
UXExperimentalTerms.kif 704-710 |
| consequent |
|
|
| (=> (and (instance ?EXPERIMENT Experimenting) (result ?EXPERIMENT ?RESULT)) (instance ?RESULT Formula)) |
UXExperimentalTerms.kif 3998-4002 | |
| (=> (and (instance ?INVESTIGATE Investigating) (patient ?INVESTIGATE ?PROP)) (instance ?PROP Formula)) |
Merge.kif 12014-12018 | |
| (=> (and (instance ?PROFILE VisitorProfile) (member ?FORMULA ?PROFILE)) (instance ?FORMULA Formula)) |
UXExperimentalTerms.kif 1330-1334 | |
| (=> (and (instance ?REL PropositionalAttitude) (?REL ?AGENT ?FORMULA)) (instance ?FORMULA Formula)) |
Merge.kif 2608-2612 | |
| (=> (and (instance ?TEXT ?CLASS) (subclass ?CLASS FictionalText) (authors ?AGENT ?CLASS)) (exists (?CONTENT) (and (subsumesContentInstance ?TEXT ?CONTENT) (instance ?CONTENT Formula) (not (believes ?AGENT ?CONTENT))))) |
Merge.kif 14309-14318 | |
| (=> (instance ?CONST Constitution) (exists (?FORMULA ?PART) (and (instance ?FORMULA Formula) (containsInformation ?FORMULA ?PART) (instance ?PART Proposition) (subProposition ?PART ?CONST) (modalAttribute ?FORMULA Obligation)))) |
Government.kif 640-648 | |
| (=> (instance ?CONST Constitution) (exists (?FORMULA ?PART) (and (instance ?FORMULA Formula) (containsInformation ?FORMULA ?PART) (instance ?PART Proposition) (subProposition ?PART ?CONST) (modalAttribute ?FORMULA Permission)))) |
Government.kif 650-658 | |
| (=> (instance ?EXPERIMENT Experimenting) (exists (?FORMULA ?RESULT) (and (instance ?RESULT Formula) (result ?EXPERIMENT ?RESULT) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (represents (ProbabilityFn ?FORMULA) ?RESULT)))) |
UXExperimentalTerms.kif 4004-4014 | |
| (=> (instance ?P Phishing) (exists (?FS ?V ?M ?I) (and (instance ?M Communication) (origin ?M ?FS) (agent ?P ?FS) (destination ?M ?V) (instance ?I Formula) (knows ?V ?I) (not (desires ?V (knows ?FS ?I))) (desires ?FS (knows ?FS ?I))))) |
ComputingBrands.kif 4155-4169 | |
| (=> (instance ?PROFILE VisitorProfile) (exists (?USER ?SITE) (and (instance ?USER Agent) (instance ?SITE WebSite) (forall (?FORMULA) (=> (and (member ?FORMULA ?PROFILE) (instance ?FORMULA Formula)) (visitorParameter ?USER ?FORMULA ?SITE)))))) |
UXExperimentalTerms.kif 1336-1347 |
|
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