| 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 1429-1430 | |
| (subclass Formula Sentence) | Merge.kif 1427-1427 |
| 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 5308-5308 | |
| (domain ProbabilityFn 1 Formula) | Merge.kif 2478-2478 | |
| (domain attitudeForFormula 3 Formula) | emotion.kif 2037-2037 | |
| (domain believes 2 Formula) | Merge.kif 2716-2716 | |
| (domain causesProposition 1 Formula) | Merge.kif 3691-3691 | |
| (domain causesProposition 2 Formula) | Merge.kif 3692-3692 | |
| (domain conditionalProbability 1 Formula) | Merge.kif 2488-2488 | |
| (domain conditionalProbability 2 Formula) | Merge.kif 2489-2489 | |
| (domain confersNorm 2 Formula) | Merge.kif 3862-3862 | |
| (domain confersObligation 1 Formula) | Merge.kif 16297-16297 | |
| (domain confersRight 1 Formula) | Merge.kif 16276-16276 | |
| (domain considers 2 Formula) | Merge.kif 2706-2706 | |
| (domain containsFormula 2 Formula) | Law.kif 22-22 | |
| (domain decreasesLikelihood 1 Formula) | Merge.kif 2521-2521 | |
| (domain decreasesLikelihood 2 Formula) | Merge.kif 2522-2522 | |
| (domain deprivesNorm 2 Formula) | Merge.kif 3884-3884 | |
| (domain describes 1 Formula) | Mid-level-ontology.kif 13822-13822 | |
| (domain desires 2 Formula) | Merge.kif 2694-2694 | |
| (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 735-735 | |
| (domain entails 2 Formula) | Merge.kif 736-736 | |
| (domain expects 2 Formula) | Mid-level-ontology.kif 7048-7048 | |
| (domain hasPurpose 2 Formula) | Merge.kif 3815-3815 | |
| (domain hasPurposeForAgent 2 Formula) | Merge.kif 3831-3831 | |
| 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 12311-12316 | |
| (=> (and (instance ?FORMULA1 Formula) (instance ?FORMULA2 Formula)) (or (increasesLikelihood ?FORMULA1 ?FORMULA2) (decreasesLikelihood ?FORMULA1 ?FORMULA2) (independentProbability ?FORMULA1 ?FORMULA2))) |
Merge.kif 2552-2559 | |
| (=> (and (instance ?QUESTION Questioning) (agent ?QUESTION ?AGENT) (patient ?QUESTION ?FORMULA) (instance ?FORMULA Formula)) (holdsDuring (WhenFn ?QUESTION) (not (knows ?AGENT ?FORMULA)))) |
Merge.kif 12298-12304 | |
| (=> (and (instance ?REQUEST Requesting) (agent ?REQUEST ?AGENT) (patient ?REQUEST ?FORMULA) (instance ?FORMULA Formula)) (desires ?AGENT ?FORMULA)) |
Merge.kif 12285-12291 | |
| (=> (and (instance ?STATE Stating) (agent ?STATE ?AGENT) (patient ?STATE ?FORMULA) (instance ?FORMULA Formula)) (holdsDuring (WhenFn ?STATE) (believes ?AGENT ?FORMULA))) |
Merge.kif 12227-12233 | |
| (=> (and (instance ?TEXT ?CLASS) (subclass ?CLASS FactualText) (authors ?AGENT ?CLASS) (subsumesContentInstance ?TEXT ?CONTENT) (instance ?CONTENT Formula)) (believes ?AGENT ?CONTENT)) |
Merge.kif 14281-14288 | |
| (=> (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 12017-12021 | |
| (=> (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 2607-2611 | |
| (=> (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 14312-14321 | |
| (=> (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 4176-4190 | |
| (=> (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