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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Formula

Sigma KEE - Formula
Formula(formula)formula, 公式

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


(documentation Formula ChineseLanguage "一个句法结构良好、以SUO-KIF知识表示语言的公式。") Merge.kif 1557-1557
(documentation Formula EnglishLanguage "A syntactically well-formed formula in the SUO-KIF knowledge representation language.") Merge.kif 1555-1556
(subclass Formula Sentence) Merge.kif 1554-1554 Formula is a subclass of sentence

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


(termFormat ChineseLanguage Formula "公式") chinese_format.kif 847-847 "公式" is the printable form of formula in ChineseLanguage
(termFormat EnglishLanguage Formula "formula") english_format.kif 602-602 "formula" is the printable form of formula in english language
(termFormat JapaneseLanguage Formula "公式") english_format.kif 603-603 "公式" is the printable form of formula in japanese language

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


(domain KappaFn 2 Formula) Merge.kif 5696-5696 The number 2 argument of kappa is an instance of formula
(domain ProbabilityFn 1 Formula) Merge.kif 2741-2741 The number 1 argument of probability is an instance of formula
(domain believes 2 Formula) Merge.kif 3004-3004 The number 2 argument of believes is an instance of formula
(domain causesProposition 1 Formula) Merge.kif 3941-3941 The number 1 argument of causes proposition is an instance of formula
(domain causesProposition 2 Formula) Merge.kif 3942-3942 The number 2 argument of causes proposition is an instance of formula
(domain conditionalProbability 1 Formula) Merge.kif 2753-2753 The number 1 argument of conditional probability is an instance of formula
(domain conditionalProbability 2 Formula) Merge.kif 2754-2754 The number 2 argument of conditional probability is an instance of formula
(domain confersNorm 2 Formula) Merge.kif 4133-4133 The number 2 argument of confers norm is an instance of formula
(domain confersObligation 1 Formula) Merge.kif 17854-17854 The number 1 argument of confers obligation is an instance of formula
(domain confersRight 1 Formula) Merge.kif 17828-17828 The number 1 argument of confers right is an instance of formula
(domain considers 2 Formula) Merge.kif 2993-2993 The number 2 argument of considers is an instance of formula
(domain containsFormula 2 Formula) Law.kif 22-22 The number 2 argument of contains formula is an instance of formula
(domain decreasesLikelihood 1 Formula) Merge.kif 2791-2791 The number 1 argument of decreases likelihood is an instance of formula
(domain decreasesLikelihood 2 Formula) Merge.kif 2792-2792 The number 2 argument of decreases likelihood is an instance of formula
(domain deprivesNorm 2 Formula) Merge.kif 4150-4150 The number 2 argument of deprives norm is an instance of formula
(domain describes 1 Formula) Mid-level-ontology.kif 13795-13795 The number 1 argument of describes is an instance of formula
(domain desires 2 Formula) Merge.kif 2979-2979 The number 2 argument of desires is an instance of formula
(domain disapproves 2 Formula) Mid-level-ontology.kif 7144-7144 The number 2 argument of disapproves is an instance of formula
(domain doubts 2 Formula) Mid-level-ontology.kif 7115-7115 The number 2 argument of doubts is an instance of formula
(domain entails 1 Formula) Merge.kif 803-803 The number 1 argument of entails is an instance of formula
(domain entails 2 Formula) Merge.kif 804-804 The number 2 argument of entails is an instance of formula
(domain expects 2 Formula) Mid-level-ontology.kif 7067-7067 The number 2 argument of expects is an instance of formula
(domain hasPurpose 2 Formula) Merge.kif 4077-4077 The number 2 argument of has purpose is an instance of formula
(domain hasPurposeForAgent 2 Formula) Merge.kif 4098-4098 The number 2 argument of has purpose for agent is an instance of formula
(domain holdsDuring 2 Formula) Merge.kif 4010-4010 The number 2 argument of holds during is an instance of 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 760-766
(=>
    (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 13199-13204
(=>
    (and
        (instance ?FORMULA1 Formula)
        (instance ?FORMULA2 Formula))
    (or
        (increasesLikelihood ?FORMULA1 ?FORMULA2)
        (decreasesLikelihood ?FORMULA1 ?FORMULA2)
        (independentProbability ?FORMULA1 ?FORMULA2)))
Merge.kif 2826-2833
(=>
    (and
        (instance ?QUESTION Questioning)
        (agent ?QUESTION ?AGENT)
        (patient ?QUESTION ?FORMULA)
        (instance ?FORMULA Formula))
    (holdsDuring
        (WhenFn ?QUESTION)
        (not
            (knows ?AGENT ?FORMULA))))
Merge.kif 13184-13190
(=>
    (and
        (instance ?REQUEST Requesting)
        (agent ?REQUEST ?AGENT)
        (patient ?REQUEST ?FORMULA)
        (instance ?FORMULA Formula))
    (desires ?AGENT ?FORMULA))
Merge.kif 13169-13175
(=>
    (and
        (instance ?STATE Stating)
        (agent ?STATE ?AGENT)
        (patient ?STATE ?FORMULA)
        (instance ?FORMULA Formula))
    (holdsDuring
        (WhenFn ?STATE)
        (believes ?AGENT ?FORMULA)))
Merge.kif 13099-13105
(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FactualText)
        (authors ?AGENT ?CLASS)
        (subsumesContentInstance ?TEXT ?CONTENT)
        (instance ?CONTENT Formula))
    (believes ?AGENT ?CONTENT))
Merge.kif 15504-15511
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT ?EXPERIMENTING)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 0))
    (truth ?FORMULA True))
UXExperimentalTerms.kif 713-720
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT ?EXPERIMENTING)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 1))
    (truth ?FORMULA False))
UXExperimentalTerms.kif 722-729
(=>
    (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 3989-3993
(=>
    (and
        (instance ?INVESTIGATE Investigating)
        (patient ?INVESTIGATE ?PROP))
    (instance ?PROP Formula))
Merge.kif 12857-12861
(=>
    (and
        (instance ?PROFILE VisitorProfile)
        (member ?FORMULA ?PROFILE))
    (instance ?FORMULA Formula))
UXExperimentalTerms.kif 1331-1335
(=>
    (and
        (instance ?REL PropositionalAttitude)
        (?REL ?AGENT ?FORMULA))
    (instance ?FORMULA Formula))
Merge.kif 2887-2891
(=>
    (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 15538-15547
(=>
    (instance ?CONST Constitution)
    (exists (?FORMULA ?PART)
        (and
            (instance ?FORMULA Formula)
            (containsInformation ?FORMULA ?PART)
            (instance ?PART Proposition)
            (subProposition ?PART ?CONST)
            (modalAttribute ?FORMULA Obligation))))
Government.kif 647-655
(=>
    (instance ?CONST Constitution)
    (exists (?FORMULA ?PART)
        (and
            (instance ?FORMULA Formula)
            (containsInformation ?FORMULA ?PART)
            (instance ?PART Proposition)
            (subProposition ?PART ?CONST)
            (modalAttribute ?FORMULA Permission))))
Government.kif 657-665
(=>
    (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 3995-4005
(=>
    (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 1337-1348


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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