Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Formula
Formula(formula)

appearance as argument number 1
-------------------------


s__subclass(s__Formula,s__Sentence)

 Merge.kif 1642-1642 Formula is a subclass of sentence
s__documentation(s__Formula, s__EnglishLanguage, "A syntactically well_formed formula in the SUO_KIF knowledge representation language_") Merge.kif 1644-1645 Formula is a subclass of sentence

appearance as argument number 2
-------------------------


s__range(s__PremisesFn,s__Formula)

 Merge.kif 17234-17234 The range of premises is an instance of formula
s__termFormat(s__EnglishLanguage, s__Formula, "formula") english_format.kif 900-900 The range of premises is an instance of formula

appearance as argument number 3
-------------------------


s__domain(s__entails,n__1,s__Formula)

 Merge.kif 762-762 The number 1 argument of entails is an instance of formula
s__domain(s__entails,n__2,s__Formula)

 Merge.kif 763-763 The number 2 argument of entails is an instance of formula
s__domain(s__containsFormula,n__2,s__Formula)

 Merge.kif 1457-1457 The number 2 argument of contains formula is an instance of formula
s__domain(s__ProbabilityFn,n__1,s__Formula)

 Merge.kif 2682-2682 The number 1 argument of probability is an instance of formula
s__domain(s__conditionalProbability,n__1,s__Formula)

 Merge.kif 2692-2692 The number 1 argument of conditional probability is an instance of formula
s__domain(s__conditionalProbability,n__2,s__Formula)

 Merge.kif 2693-2693 The number 2 argument of conditional probability is an instance of formula
s__domain(s__increasesLikelihood,n__1,s__Formula)

 Merge.kif 2705-2705 The number 1 argument of increases likelihood is an instance of formula
s__domain(s__increasesLikelihood,n__2,s__Formula)

 Merge.kif 2706-2706 The number 2 argument of increases likelihood is an instance of formula
s__domain(s__decreasesLikelihood,n__1,s__Formula)

 Merge.kif 2725-2725 The number 1 argument of decreases likelihood is an instance of formula
s__domain(s__decreasesLikelihood,n__2,s__Formula)

 Merge.kif 2726-2726 The number 2 argument of decreases likelihood is an instance of formula
s__domain(s__independentProbability,n__1,s__Formula)

 Merge.kif 2742-2742 The number 1 argument of independent probability is an instance of formula
s__domain(s__independentProbability,n__2,s__Formula)

 Merge.kif 2743-2743 The number 2 argument of independent probability is an instance of formula
s__domain(s__prefers,n__2,s__Formula)

 Merge.kif 2796-2796 The number 2 argument of prefers is an instance of formula
s__domain(s__prefers,n__3,s__Formula)

 Merge.kif 2797-2797 The number 3 argument of prefers is an instance of formula
s__domain(s__desires,n__2,s__Formula)

 Merge.kif 2898-2898 The number 2 argument of desires is an instance of formula
s__domain(s__considers,n__2,s__Formula)

 Merge.kif 2910-2910 The number 2 argument of considers is an instance of formula
s__domain(s__believes,n__2,s__Formula)

 Merge.kif 2920-2920 The number 2 argument of believes is an instance of formula
s__domain(s__knows,n__2,s__Formula)

 Merge.kif 2936-2936 The number 2 argument of knows is an instance of formula
s__domain(s__says,n__2,s__Formula)

 Merge.kif 2956-2956 The number 2 argument of says is an instance of formula
s__domain(s__causesProposition,n__1,s__Formula)

 Merge.kif 3926-3926 The number 1 argument of causes proposition is an instance of formula
s__domain(s__causesProposition,n__2,s__Formula)

 Merge.kif 3927-3927 The number 2 argument of causes proposition is an instance of formula
s__domain(s__holdsDuring,n__2,s__Formula)

 Merge.kif 3984-3984 The number 2 argument of holds during is an instance of formula
s__domain(s__hasPurpose,n__2,s__Formula)

 Merge.kif 4050-4050 The number 2 argument of has purpose is an instance of formula
s__domain(s__hasPurposeForAgent,n__3,s__Formula)

 Merge.kif 4067-4067 The number 3 argument of has purpose for agent is an instance of formula
s__domain(s__confersNorm,n__3,s__Formula)

 Merge.kif 4097-4097 The number 3 argument of confers norm is an instance of formula

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


! [V__FORMULA1 : $i,V__FORMULA2 : $i] : (((s__instance(V__FORMULA1, s__Formula) & s__instance(V__FORMULA2, s__Formula)) => (s__increasesLikelihood(V__FORMULA1, V__FORMULA2) | s__decreasesLikelihood(V__FORMULA1, V__FORMULA2) | s__independentProbability(V__FORMULA1, V__FORMULA2)))) Merge.kif 2756-2763 If X is an instance of formula and Y is an instance of formula, then At least one of the following holds: (1) X increases likelihood of Y (2) X decreases likelihood of Y (3) probability of X and Y is independent
! [V__AGENT : $i,V__FORMULA : $i,V__QUESTION : $i] : (((s__instance(V__QUESTION, s__Questioning) & s__agent(V__QUESTION, V__AGENT) & s__containsFormula(V__QUESTION, V__FORMULA) & s__instance(V__FORMULA, s__Formula)) => s__holdsDuring(s__WhenFn(V__QUESTION), ~(s__knows(V__AGENT, V__FORMULA))))) Merge.kif 13513-13522 If X is an instance of questioning, Y is an agent of X, X contains the formula Z, and Z is an instance of formula, then Y doesn't know Z holds during the time of existence of X
! [V__COMMIT : $i,V__FORMULA : $i] : (((s__instance(V__COMMIT, s__Committing) & s__containsFormula(V__COMMIT, V__FORMULA) & s__instance(V__FORMULA, s__Formula)) => s__modalAttribute(V__FORMULA, s__Promise))) Merge.kif 13529-13534 If X is an instance of committing, X contains the formula Y, and Y is an instance of formula, then the statement Y has the modal force of promise
! [V__CONFIDENCE,V__EXPERIMENT,V__FORMULA] :
((s__instance(V__CONFIDENCE,s__RealNumber) =>
     ((s__confidenceInterval(V__EXPERIMENT,V__CONFIDENCE)
       &
       s__instance(V__EXPERIMENT,s__Experimenting) &
       s__instance(V__FORMULA,s__Formula) &
       s__patient(V__EXPERIMENT,V__FORMULA)
     &
     (V__CONFIDENCE = n__100))
   =>
   s__truth(V__FORMULA,'$true__m')))
)

 UXExperimentalTerms.kif 540-547 If X is the confidence in Y, Y is an instance of experimenting, Z is an instance of formula, Z is a patient of Y, and equal X and 100, then Z is true
! [V__CONFIDENCE,V__EXPERIMENT,V__FORMULA] :
((s__instance(V__CONFIDENCE,s__RealNumber) =>
     ((s__confidenceInterval(V__EXPERIMENT,V__CONFIDENCE)
       &
       s__instance(V__EXPERIMENT,s__Experimenting) &
       s__instance(V__FORMULA,s__Formula) &
       s__patient(V__EXPERIMENT,V__FORMULA)
     &
     (V__CONFIDENCE = n__100))
   =>
   s__truth(V__FORMULA,'$false__m')))
)

 UXExperimentalTerms.kif 549-556 If X is the confidence in Y, Y is an instance of experimenting, Z is an instance of formula, Z is a patient of Y, and equal X and 100, then Z is false
! [V__VALUE,V__EXPERIMENT,V__FORMULA] :
((s__instance(V__VALUE,s__RealNumber) =>
     ((s__pValue(V__EXPERIMENT,V__VALUE)
       &
       s__instance(V__EXPERIMENT,s__Experimenting) &
       s__instance(V__FORMULA,s__Formula) &
       s__patient(V__EXPERIMENT,V__FORMULA)
     &
     (V__VALUE = n__0))
   =>
   s__truth(V__FORMULA,'$true__m')))
)

 UXExperimentalTerms.kif 577-584 If the p-value of X is Y, X is an instance of experimenting, Z is an instance of formula, Z is a patient of X, and equal Y and 0, then Z is true
! [V__VALUE,V__EXPERIMENT,V__FORMULA] :
((s__instance(V__VALUE,s__RealNumber) =>
     ((s__pValue(V__EXPERIMENT,V__VALUE)
       &
       s__instance(V__EXPERIMENT,s__Experimenting) &
       s__instance(V__FORMULA,s__Formula) &
       s__patient(V__EXPERIMENT,V__FORMULA)
     &
     (V__VALUE = n__1))
   =>
   s__truth(V__FORMULA,'$false__m')))
)

 UXExperimentalTerms.kif 586-593 If the p-value of X is Y, X is an instance of experimenting, Z is an instance of formula, Z is a patient of X, and equal Y and 1, then Z is false

consequent
-------------------------


! [V__AGENT,V__FORMULA] :
(((s__instance(V__AGENT,s__CognitiveAgent) &
       s__instance(V__FORMULA,s__Formula))
     =>
     ((s__instance(s__desires,s__PropositionalAttitude) &
         s__desires(V__AGENT,V__FORMULA))
     =>
     s__instance(V__FORMULA,s__Formula)))
)

! [V__AGENT,V__FORMULA] :
(((s__instance(V__AGENT,s__CognitiveAgent) &
       s__instance(V__FORMULA,s__Formula))
     =>
     ((s__instance(s__considers,s__PropositionalAttitude) &
         s__considers(V__AGENT,V__FORMULA))
     =>
     s__instance(V__FORMULA,s__Formula)))
)

! [V__AGENT,V__FORMULA] :
(((s__instance(V__AGENT,s__CognitiveAgent) &
       s__instance(V__FORMULA,s__Formula))
     =>
     ((s__instance(s__says,s__PropositionalAttitude) &
         s__says(V__AGENT,V__FORMULA))
     =>
     s__instance(V__FORMULA,s__Formula)))
)

! [V__AGENT,V__FORMULA] :
(((s__instance(V__AGENT,s__CognitiveAgent) &
       s__instance(V__FORMULA,s__Formula))
     =>
     ((s__instance(s__disapproves,s__PropositionalAttitude) &
         s__disapproves(V__AGENT,V__FORMULA))
     =>
     s__instance(V__FORMULA,s__Formula)))
)

! [V__AGENT,V__FORMULA] :
(((s__instance(V__AGENT,s__CognitiveAgent) &
       s__instance(V__FORMULA,s__Formula))
     =>
     ((s__instance(s__doubts,s__PropositionalAttitude) &
         s__doubts(V__AGENT,V__FORMULA))
     =>
     s__instance(V__FORMULA,s__Formula)))
)

! [V__AGENT,V__FORMULA] :
(((s__instance(V__AGENT,s__CognitiveAgent) &
       s__instance(V__FORMULA,s__Formula))
     =>
     ((s__instance(s__believes,s__PropositionalAttitude) &
         s__believes(V__AGENT,V__FORMULA))
     =>
     s__instance(V__FORMULA,s__Formula)))
)

! [V__AGENT,V__FORMULA] :
(((s__instance(V__AGENT,s__CognitiveAgent) &
       s__instance(V__FORMULA,s__Formula))
     =>
     ((s__instance(s__knows,s__PropositionalAttitude) &
         s__knows(V__AGENT,V__FORMULA))
     =>
     s__instance(V__FORMULA,s__Formula)))
)

 Merge.kif 2811-2815 If X is an instance of propositional attitude and X Y and Z, then Z is an instance of formula
! [V__P : $i] : ((s__instance(V__P, s__Phishing) => ( ? [V__FS:$i, V__V:$i, V__M:$i, V__I:$i] : ((s__instance(V__M, s__Communication) & s__origin(V__M, V__FS) & s__agent(V__P, V__FS) & s__destination(V__M, V__V) & s__instance(V__I, s__Formula) & s__knows(V__V, V__I) & ~(s__desires(V__V, s__knows(V__FS, V__I))) & s__desires(V__FS, s__knows(V__FS, V__I))))))) ComputingBrands.kif 4141-4155 If X is an instance of phishing, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that W is an instance of communication (3) W originates at Y (4) Y is an agent of X (5) W ends up at Z (6) V is an instance of formula (7) Z knows V (8) Z doesn't desire Y doesn't know V (9) Y desires Y knows V
! [V__CONST : $i] : ((s__instance(V__CONST, s__Constitution) => ( ? [V__FORMULA:$i, V__PART:$i] : ((s__instance(V__FORMULA, s__Formula) & s__containsFormula(V__PART, V__FORMULA) & s__instance(V__PART, s__Proposition) & s__subProposition(V__PART, V__CONST) & s__modalAttribute(V__FORMULA, s__Obligation)))))) Government.kif 617-625 If X is an instance of constitution, then there exist Y, Z such that Y is an instance of formula, Z contains the formula Y, Z is an instance of proposition, Z is a sub-proposition of X, and the statement Y has the modal force of obligation
! [V__CONST : $i] : ((s__instance(V__CONST, s__Constitution) => ( ? [V__FORMULA:$i, V__PART:$i] : ((s__instance(V__FORMULA, s__Formula) & s__containsFormula(V__PART, V__FORMULA) & s__instance(V__PART, s__Proposition) & s__subProposition(V__PART, V__CONST) & s__modalAttribute(V__FORMULA, s__Permission)))))) Government.kif 627-635 If X is an instance of constitution, then there exist Y, Z such that Y is an instance of formula, Z contains the formula Y, Z is an instance of proposition, Z is a sub-proposition of X, and the statement Y has the modal force of permission
! [V__A : $i,V__W : $i] : (((s__instance(V__W, s__Worrying) & s__experiencer(V__W, V__A) & s__instance(V__A, s__Human)) => s__fears(V__A, s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__W)), ( ? [V__F:$i] : ((s__instance(V__F, s__Formula) & s__containsFormula(V__W, V__F) & s__truth(V__F, '$true__m')))))))) emotion.kif 1617-1630 If X is an instance of worrying, Y experiences X, and Y is an instance of human, then Y fears there exists Z such that Z is an instance of formula, X contains the formula Z, and Z is true holds during immediately after the time of existence of X

statement
-------------------------


( ? [V__FORMULA:$i] : ((s__instance(V__FORMULA, s__Formula) & s__containsFormula(s__ImmigrationAndNationalityAct_US, V__FORMULA) & s__modalAttribute(V__FORMULA, s__Law)))) Government.kif 2372-2376 There exists X such that X is an instance of formula, immigration and nationality act_US contains the formula X, and the statement X has the modal force of law
( ? [V__FORMULA:$i] : ((s__instance(V__FORMULA, s__Formula) & s__containsFormula(s__ImmigrationAndNationalityAct_Section219_US, V__FORMULA) & s__modalAttribute(V__FORMULA, s__Law)))) Government.kif 2379-2383 There exists X such that X is an instance of formula, immigration and nationality act- section219-US contains the formula X, and the statement X has the modal force of law
( ? [V__FORMULA1:$i, V__FORMULA2:$i] : ((s__instance(V__FORMULA1, s__Formula) & s__containsFormula(s__ImmigrationAndNationalityAct_US, V__FORMULA1) & s__instance(V__FORMULA2, s__Formula) & s__containsFormula(s__ImmigrationAndNationalityAct_Section219_US, V__FORMULA2) & s__entails(V__FORMULA1, V__FORMULA2)))) Government.kif 2385-2391 There exist X, Y such that X is an instance of formula, immigration and nationality act_US contains the formula X, Y is an instance of formula, immigration and nationality act- section219-US contains the formula Y, and X entails Y
( ? [V__FORMULA:$i] : ((s__instance(V__FORMULA, s__Formula) & s__containsFormula(s__AntiterrorismAndEffectiveDeathPenaltyAct, V__FORMULA) & s__modalAttribute(V__FORMULA, s__Law)))) Government.kif 2395-2399 There exists X such that X is an instance of formula, antiterrorism and effective death penalty act contains the formula X, and the statement X has the modal force of law
( ? [V__FORMULA:$i] : ((s__instance(V__FORMULA, s__Formula) & s__containsFormula(s__AmericansWithDisabilitiesAct_US, V__FORMULA) & s__modalAttribute(V__FORMULA, s__Law)))) Medicine.kif 3176-3180 There exists X such that X is an instance of formula, ADA contains the formula X, and the statement X has the modal force of law


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners