Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Formula
Formula(formula)

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


s__documentation(s__Formula,s__ChineseLanguage,'"一个句法结构良好、以SUO-KIF知识表示语言的公式。"')

chinese_format.kif 1682-1682
s__documentation(s__Formula,s__EnglishLanguage,'"A syntactically well-formed formula in the SUO-KIF knowledge representation language."')

Merge.kif 1431-1432
s__instance(s__Formula,s__SetOrClass)

s__subclass(s__Formula,s__Sentence)

s__instance(s__Sentence,s__SetOrClass)

Merge.kif 1429-1429 Formula is a subclass of sentence

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


s__termFormat(s__ChineseLanguage,s__Formula,'"公式"')

chinese_format.kif 847-847
s__termFormat(s__EnglishLanguage,s__Formula,'"formula"')

english_format.kif 901-901

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


s__domain(s__KappaFn__m,n__2,s__Formula)

Merge.kif 5345-5345 The number 2 argument of kappa is an instance of formula
s__domain(s__ProbabilityFn__m,n__1,s__Formula)

Merge.kif 2481-2481 The number 1 argument of probability is an instance of formula
s__domain(s__attitudeForFormula__m,n__3,s__Formula)

emotion.kif 2038-2038 The number 3 argument of attitudeForFormula is an instance of formula
s__domain(s__believes__m,n__2,s__Formula)

Merge.kif 2719-2719 The number 2 argument of believes is an instance of formula
s__domain(s__causesProposition__m,n__1,s__Formula)

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

Merge.kif 3695-3695 The number 2 argument of causes proposition is an instance of formula
s__domain(s__conditionalProbability__m,n__1,s__Formula)

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

Merge.kif 2492-2492 The number 2 argument of conditional probability is an instance of formula
s__domain(s__confersNorm__m,n__2,s__Formula)

Merge.kif 3865-3865 The number 2 argument of confers norm is an instance of formula
s__domain(s__confersObligation__m,n__1,s__Formula)

Merge.kif 16645-16645 The number 1 argument of confers obligation is an instance of formula
s__domain(s__confersRight__m,n__1,s__Formula)

Merge.kif 16624-16624 The number 1 argument of confers right is an instance of formula
s__domain(s__considers__m,n__2,s__Formula)

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

Law.kif 22-22 The number 2 argument of contains formula is an instance of formula
s__domain(s__decreasesLikelihood__m,n__1,s__Formula)

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

Merge.kif 2525-2525 The number 2 argument of decreases likelihood is an instance of formula
s__domain(s__deprivesNorm__m,n__2,s__Formula)

Merge.kif 3887-3887 The number 2 argument of deprives norm is an instance of formula
s__domain(s__describes__m,n__1,s__Formula)

Mid-level-ontology.kif 14671-14671 The number 1 argument of describes is an instance of formula
s__domain(s__desires__m,n__2,s__Formula)

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

Mid-level-ontology.kif 6925-6925 The number 2 argument of disapproves is an instance of formula
s__domain(s__doubts__m,n__2,s__Formula)

Mid-level-ontology.kif 6895-6895 The number 2 argument of doubts is an instance of formula
s__domain(s__entails__m,n__1,s__Formula)

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

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

Mid-level-ontology.kif 6856-6856 The number 2 argument of expects is an instance of formula
s__domain(s__hasPurpose__m,n__2,s__Formula)

Merge.kif 3818-3818 The number 2 argument of has purpose is an instance of formula
s__domain(s__hasPurposeForAgent__m,n__2,s__Formula)

Merge.kif 3834-3834 The number 2 argument of has purpose for agent is an instance of formula

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Government.kif 753-759
( ! [V__FORMULA,V__CONFIDENCE,V__EXPERIMENT] :
   ((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 682-689
( ! [V__FORMULA,V__CONFIDENCE,V__EXPERIMENT] :
   ((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 673-680
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 664-670
No TPTP formula. May not be expressible in strict first order. Merge.kif 12570-12575
No TPTP formula. May not be expressible in strict first order. Merge.kif 2555-2562
No TPTP formula. May not be expressible in strict first order. Merge.kif 12557-12563
No TPTP formula. May not be expressible in strict first order. Merge.kif 12544-12550
No TPTP formula. May not be expressible in strict first order. Merge.kif 12486-12492
No TPTP formula. May not be expressible in strict first order. Merge.kif 14629-14636
( ! [V__FORMULA,V__EXPERIMENT,V__VALUE] :
   ((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 714-721
( ! [V__FORMULA,V__EXPERIMENT,V__VALUE] :
   ((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 723-730
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 706-712

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


( ! [V__RESULT,V__EXPERIMENT] :
   (((s__instance(V__EXPERIMENT,s__Experimenting) &
         s__result(V__EXPERIMENT,V__RESULT))
     =>
     (s__instance(V__RESULT,s__Formula)))
   )
)

UXExperimentalTerms.kif 4001-4005
( ! [V__INVESTIGATE,V__PROP] :
   (((s__instance(V__INVESTIGATE,s__Investigating) &
         s__patient(V__INVESTIGATE,V__PROP))
     =>
     (s__instance(V__PROP,s__Formula)))
   )
)

Merge.kif 12276-12280
( ! [V__FORMULA,V__PROFILE] :
   ((s__instance(V__FORMULA,s__Physical) =>
       (((s__instance(V__PROFILE,s__VisitorProfile) &
             s__member(V__FORMULA,V__PROFILE))
         =>
         (s__instance(V__FORMULA,s__Formula)))))
   )
)

UXExperimentalTerms.kif 1331-1335
( ! [V__AGENT,V__FORMULA] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__FORMULA,s__Formula))
       =>
       (((s__instance(s__knows__m,s__PropositionalAttitude) &
             s__knows(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__m,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__desires__m,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__disapproves__m,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__m,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__m,s__PropositionalAttitude) &
             s__believes(V__AGENT,V__FORMULA))
         =>
         (s__instance(V__FORMULA,s__Formula)))))
   )
)

Merge.kif 2610-2614
No TPTP formula. May not be expressible in strict first order. Merge.kif 14660-14669
No TPTP formula. May not be expressible in strict first order. Government.kif 640-648
No TPTP formula. May not be expressible in strict first order. Government.kif 650-658
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4007-4017
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4206-4220
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1337-1348


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