Formula - Sigma Knowledge base Browser

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 1428-1429
(subclass Formula Sentence)	Merge.kif 1426-1426	subclass Formula and Sentence

appearance as argument number 2

(termFormat ChineseLanguage Formula "公式")	chinese_format.kif 847-847	termFormat ChineseLanguage, Formula and "公式"
(termFormat EnglishLanguage Formula "formula")	english_format.kif 901-901	termFormat EnglishLanguage, Formula and "formula"

appearance as argument number 3

(domain KappaFn 2 Formula)	Merge.kif 5170-5170	domain KappaFn, 2 and Formula
(domain ProbabilityFn 1 Formula)	Merge.kif 2473-2473	domain ProbabilityFn, 1 and Formula
(domain attitudeForFormula 3 Formula)	emotion.kif 2024-2024	domain attitudeForFormula, 3 and Formula
(domain believes 2 Formula)	Merge.kif 2712-2712	domain believes, 2 and Formula
(domain causesProposition 1 Formula)	Merge.kif 3560-3560	domain causesProposition, 1 and Formula
(domain causesProposition 2 Formula)	Merge.kif 3561-3561	domain causesProposition, 2 and Formula
(domain conditionalProbability 1 Formula)	Merge.kif 2484-2484	domain conditionalProbability, 1 and Formula
(domain conditionalProbability 2 Formula)	Merge.kif 2485-2485	domain conditionalProbability, 2 and Formula
(domain confersNorm 2 Formula)	Merge.kif 3729-3729	domain confersNorm, 2 and Formula
(domain confersObligation 1 Formula)	Merge.kif 16125-16125	domain confersObligation, 1 and Formula
(domain confersRight 1 Formula)	Merge.kif 16104-16104	domain confersRight, 1 and Formula
(domain considers 2 Formula)	Merge.kif 2702-2702	domain considers, 2 and Formula
(domain containsFormula 2 Formula)	Law.kif 22-22	domain containsFormula, 2 and Formula
(domain decreasesLikelihood 1 Formula)	Merge.kif 2517-2517	domain decreasesLikelihood, 1 and Formula
(domain decreasesLikelihood 2 Formula)	Merge.kif 2518-2518	domain decreasesLikelihood, 2 and Formula
(domain deprivesNorm 2 Formula)	Merge.kif 3751-3751	domain deprivesNorm, 2 and Formula
(domain describes 1 Formula)	Mid-level-ontology.kif 13794-13794	domain describes, 1 and Formula
(domain desires 2 Formula)	Merge.kif 2690-2690	domain desires, 2 and Formula
(domain disapproves 2 Formula)	Mid-level-ontology.kif 7145-7145	domain disapproves, 2 and Formula
(domain doubts 2 Formula)	Mid-level-ontology.kif 7116-7116	domain doubts, 2 and Formula
(domain entails 1 Formula)	Merge.kif 736-736	domain entails, 1 and Formula
(domain entails 2 Formula)	Merge.kif 737-737	domain entails, 2 and Formula
(domain expects 2 Formula)	Mid-level-ontology.kif 7068-7068	domain expects, 2 and Formula
(domain hasPurpose 2 Formula)	Merge.kif 3682-3682	domain hasPurpose, 2 and Formula
(domain hasPurposeForAgent 2 Formula)	Merge.kif 3698-3698	domain hasPurposeForAgent, 2 and Formula

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	agreementEffectiveDuring Proposition and TimePosition instance TimePosition and TimePosition instance Formula and Formula containsInformation Formula and Proposition holdsDuring TimePosition and Formula
(=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA False))	UXExperimentalTerms.kif 678-685	confidenceInterval Experimenting and RealNumber instance Experimenting and Experimenting instance Sentence and Formula patient Experimenting and Sentence equal RealNumber and 100 truth Sentence and False
(=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?CONFIDENCE 100)) (truth ?FORMULA True))	UXExperimentalTerms.kif 669-676	confidenceInterval Experimenting and RealNumber instance Experimenting and Experimenting instance Sentence and Formula patient Experimenting and Sentence equal RealNumber and 100 truth Sentence and True
(=> (and (confidenceInterval ?EXPERIMENT ?CONFIDENCE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?CONFIDENCE (ProbabilityFn ?FORMULA)))	UXExperimentalTerms.kif 660-666	confidenceInterval Experimenting and RealNumber instance Experimenting and Experimenting instance Formula and Formula patient Experimenting and Formula represents RealNumber and ProbabilityFn Formula
(=> (and (instance ?COMMIT Committing) (patient ?COMMIT ?FORMULA) (instance ?FORMULA Formula)) (modalAttribute ?FORMULA Promise))	Merge.kif 12158-12163	instance Process and Committing patient Process and Formula instance Formula and Formula modalAttribute Formula and Promise
(=> (and (instance ?FORMULA1 Formula) (instance ?FORMULA2 Formula)) (or (increasesLikelihood ?FORMULA1 ?FORMULA2) (decreasesLikelihood ?FORMULA1 ?FORMULA2) (independentProbability ?FORMULA1 ?FORMULA2)))	Merge.kif 2548-2555	instance Formula and Formula instance Formula and Formula increasesLikelihood Formula and Formula decreasesLikelihood Formula and Formula independentProbability Formula and Formula
(=> (and (instance ?QUESTION Questioning) (agent ?QUESTION ?AGENT) (patient ?QUESTION ?FORMULA) (instance ?FORMULA Formula)) (holdsDuring (WhenFn ?QUESTION) (not (knows ?AGENT ?FORMULA))))	Merge.kif 12145-12151	instance Process and Questioning agent Process and Agent patient Process and Entity instance Entity and Formula holdsDuring WhenFn Process and knows Agent and Entity
(=> (and (instance ?REQUEST Requesting) (agent ?REQUEST ?AGENT) (patient ?REQUEST ?FORMULA) (instance ?FORMULA Formula)) (desires ?AGENT ?FORMULA))	Merge.kif 12132-12138	instance Process and Requesting agent Process and CognitiveAgent patient Process and Formula instance Formula and Formula desires CognitiveAgent and Formula
(=> (and (instance ?STATE Stating) (agent ?STATE ?AGENT) (patient ?STATE ?FORMULA) (instance ?FORMULA Formula)) (holdsDuring (WhenFn ?STATE) (believes ?AGENT ?FORMULA)))	Merge.kif 12074-12080	instance Process and Stating agent Process and Agent patient Process and Entity instance Entity and Formula holdsDuring WhenFn Process and believes Agent and Entity
(=> (and (instance ?TEXT ?CLASS) (subclass ?CLASS FactualText) (authors ?AGENT ?CLASS) (subsumesContentInstance ?TEXT ?CONTENT) (instance ?CONTENT Formula)) (believes ?AGENT ?CONTENT))	Merge.kif 14128-14135	instance ContentBearingPhysical and ContentBearingObject subclass ContentBearingObject and FactualText authors CognitiveAgent and ContentBearingObject subsumesContentInstance ContentBearingPhysical and Formula instance Formula and Formula believes CognitiveAgent and Formula
(=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?VALUE 0)) (truth ?FORMULA True))	UXExperimentalTerms.kif 710-717	pValue Experimenting and RealNumber instance Experimenting and Experimenting instance Sentence and Formula patient Experimenting and Sentence equal RealNumber and 0 truth Sentence and True
(=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA) (equal ?VALUE 1)) (truth ?FORMULA False))	UXExperimentalTerms.kif 719-726	pValue Experimenting and RealNumber instance Experimenting and Experimenting instance Sentence and Formula patient Experimenting and Sentence equal RealNumber and 1 truth Sentence and False
(=> (and (pValue ?EXPERIMENT ?VALUE) (instance ?EXPERIMENT Experimenting) (instance ?FORMULA Formula) (patient ?EXPERIMENT ?FORMULA)) (represents ?VALUE (ProbabilityFn ?FORMULA)))	UXExperimentalTerms.kif 702-708	pValue Experimenting and RealNumber instance Experimenting and Experimenting instance Formula and Formula patient Experimenting and Formula represents RealNumber and ProbabilityFn Formula

consequent

(=> (and (instance ?EXPERIMENT Experimenting) (result ?EXPERIMENT ?RESULT)) (instance ?RESULT Formula))	UXExperimentalTerms.kif 3996-4000	instance Process and Experimenting result Process and Entity instance Entity and Formula
(=> (and (instance ?INVESTIGATE Investigating) (patient ?INVESTIGATE ?PROP)) (instance ?PROP Formula))	Merge.kif 11861-11865	instance Process and Investigating patient Process and Entity instance Entity and Formula
(=> (and (instance ?PROFILE VisitorProfile) (member ?FORMULA ?PROFILE)) (instance ?FORMULA Formula))	UXExperimentalTerms.kif 1328-1332	instance Collection and VisitorProfile member Object and Collection instance Object and Formula
(=> (and (instance ?REL PropositionalAttitude) (?REL ?AGENT ?FORMULA)) (instance ?FORMULA Formula))	Merge.kif 2603-2607	instance Entity and PropositionalAttitude Entity entity and Entity instance Entity and Formula
(=> (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 14159-14168	instance ContentBearingPhysical and ContentBearingObject subclass ContentBearingObject and FictionalText authors CognitiveAgent and ContentBearingObject Formula subsumesContentInstance ContentBearingPhysical and Formula instance Formula and Formula believes CognitiveAgent and Formula
(=> (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 Proposition and Constitution Formula Proposition instance Formula and Formula containsInformation Formula and Proposition instance Proposition and Proposition subProposition Proposition and Proposition modalAttribute Formula and Obligation
(=> (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 Proposition and Constitution Formula Proposition instance Formula and Formula containsInformation Formula and Proposition instance Proposition and Proposition subProposition Proposition and Proposition modalAttribute Formula and Permission
(=> (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 4002-4012	instance Process and Experimenting Formula Entity instance Entity and Formula result Process and Entity instance Formula and Formula patient Process and Formula represents ProbabilityFn Formula and Entity
(=> (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 4119-4133	instance Process and Phishing CognitiveAgent CognitiveAgent, Process and Formula instance Process and Communication origin Process and CognitiveAgent agent Process and CognitiveAgent destination Process and CognitiveAgent instance Formula and Formula knows CognitiveAgent and Formula desires CognitiveAgent and knows CognitiveAgent and Formula desires CognitiveAgent and knows CognitiveAgent and Formula
(=> (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 1334-1345	instance Collection and VisitorProfile Agent WebSite instance Agent and Agent instance WebSite and WebSite Formula member Formula and Collection instance Formula and Formula visitorParameter Agent, Formula and WebSite

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

KB Term:			Term intersection

English Word: