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

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 5256-5256	domain KappaFn, 2 and Formula
(domain ProbabilityFn 1 Formula)	Merge.kif 2474-2474	domain ProbabilityFn, 1 and Formula
(domain attitudeForFormula 3 Formula)	emotion.kif 2025-2025	domain attitudeForFormula, 3 and Formula
(domain believes 2 Formula)	Merge.kif 2712-2712	domain believes, 2 and Formula
(domain causesProposition 1 Formula)	Merge.kif 3650-3650	domain causesProposition, 1 and Formula
(domain causesProposition 2 Formula)	Merge.kif 3651-3651	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 3819-3819	domain confersNorm, 2 and Formula
(domain confersObligation 1 Formula)	Merge.kif 16218-16218	domain confersObligation, 1 and Formula
(domain confersRight 1 Formula)	Merge.kif 16197-16197	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 3841-3841	domain deprivesNorm, 2 and Formula
(domain describes 1 Formula)	Mid-level-ontology.kif 13795-13795	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 7146-7146	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 735-735	domain entails, 1 and Formula
(domain entails 2 Formula)	Merge.kif 736-736	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 3772-3772	domain hasPurpose, 2 and Formula
(domain hasPurposeForAgent 2 Formula)	Merge.kif 3788-3788	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 12249-12254	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 12236-12242	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 12223-12229	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 12165-12171	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 14219-14226	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 11952-11956	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 14250-14259	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 4160-4174	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: