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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Formula
Formula(formula)صِيْغَة, Formula, formula, formule, pormula, sUtra, 公式

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


(documentation Formula ChineseLanguage "一个句法结构良好、以SUO-KIF知识表示语言的公式。") Merge.kif 1539-1539
(documentation Formula EnglishLanguage "A syntactically well-formed formula in the SUO-KIF knowledge representation language.") Merge.kif 1537-1538
(subclass Formula Sentence) Merge.kif 1536-1536 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 534-534 "formula" is the printable form of formula in english language
(termFormat FrenchLanguage Formula "formule") french_format.kif 523-523 "formule" is the printable form of formula in french language
(termFormat Hindi Formula "sUtra") terms-hindi.txt 54-54 "sUtra" is the printable form of formula in Hindi
(termFormat ItalianLanguage Formula "Formula") terms-it.txt 55-55 "Formula" is the printable form of formula in italian language
(termFormat PortugueseLanguage Formula "Formula") portuguese_format.kif 475-475 "Formula" is the printable form of formula in portuguese language
(termFormat ar Formula "صِيْغَة") arabic_format.kif 259-259 "صِيْغَة" is the printable form of formula in ar
(termFormat cz Formula "formula") terms-cz.txt 90-90 "formula" is the printable form of formula in cz
(termFormat tg Formula "pormula") terms-tg.txt 58-58 "pormula" is the printable form of formula in tg

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


(domain KappaFn 2 Formula) Merge.kif 5662-5662 The number 2 argument of kappa is an instance of formula
(domain ProbabilityFn 1 Formula) Merge.kif 2718-2718 The number 1 argument of probability is an instance of formula
(domain attitudeForFormula 3 Formula) emotion.kif 2019-2019 The number 3 argument of attitudeForFormula is an instance of formula
(domain believes 2 Formula) Merge.kif 2981-2981 The number 2 argument of believes is an instance of formula
(domain causesProposition 1 Formula) Merge.kif 3914-3914 The number 1 argument of causes proposition is an instance of formula
(domain causesProposition 2 Formula) Merge.kif 3915-3915 The number 2 argument of causes proposition is an instance of formula
(domain conditionalProbability 1 Formula) Merge.kif 2730-2730 The number 1 argument of conditional probability is an instance of formula
(domain conditionalProbability 2 Formula) Merge.kif 2731-2731 The number 2 argument of conditional probability is an instance of formula
(domain confersNorm 2 Formula) Merge.kif 4106-4106 The number 2 argument of confers norm is an instance of formula
(domain confersObligation 1 Formula) Merge.kif 17716-17716 The number 1 argument of confers obligation is an instance of formula
(domain confersRight 1 Formula) Merge.kif 17690-17690 The number 1 argument of confers right is an instance of formula
(domain considers 2 Formula) Merge.kif 2970-2970 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 2768-2768 The number 1 argument of decreases likelihood is an instance of formula
(domain decreasesLikelihood 2 Formula) Merge.kif 2769-2769 The number 2 argument of decreases likelihood is an instance of formula
(domain deprivesNorm 2 Formula) Merge.kif 4123-4123 The number 2 argument of deprives norm is an instance of formula
(domain describes 1 Formula) Mid-level-ontology.kif 13535-13535 The number 1 argument of describes is an instance of formula
(domain desires 2 Formula) Merge.kif 2956-2956 The number 2 argument of desires is an instance of formula
(domain disapproves 2 Formula) Mid-level-ontology.kif 7140-7140 The number 2 argument of disapproves is an instance of formula
(domain doubts 2 Formula) Mid-level-ontology.kif 7111-7111 The number 2 argument of doubts is an instance of formula
(domain entails 1 Formula) Merge.kif 789-789 The number 1 argument of entails is an instance of formula
(domain entails 2 Formula) Merge.kif 790-790 The number 2 argument of entails is an instance of formula
(domain expects 2 Formula) Mid-level-ontology.kif 7063-7063 The number 2 argument of expects is an instance of formula
(domain hasPurpose 2 Formula) Merge.kif 4050-4050 The number 2 argument of has purpose is an instance of formula
(domain hasPurposeForAgent 2 Formula) Merge.kif 4071-4071 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
-------------------------


(=>
    (and
        (activePolicy ?POL ?DATE)
        (instance ?TIME ?DATE)
        (instance ?FORMULA Formula)
        (containsInformation ?FORMULA ?POL))
    (holdsDuring ?TIME ?FORMULA))
TravelPolicies.kif 175-181
(=>
    (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 681-688
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT ?EXPERIMENTING)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA True))
UXExperimentalTerms.kif 672-679
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT ?EXPERIMENTING)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA))
    (represents ?CONFIDENCE
        (ProbabilityFn ?FORMULA)))
UXExperimentalTerms.kif 663-669
(=>
    (and
        (instance ?COMMIT Committing)
        (patient ?COMMIT ?FORMULA)
        (instance ?FORMULA Formula))
    (modalAttribute ?FORMULA Promise))
Merge.kif 13062-13067
(=>
    (and
        (instance ?FORMULA1 Formula)
        (instance ?FORMULA2 Formula))
    (or
        (increasesLikelihood ?FORMULA1 ?FORMULA2)
        (decreasesLikelihood ?FORMULA1 ?FORMULA2)
        (independentProbability ?FORMULA1 ?FORMULA2)))
Merge.kif 2803-2810
(=>
    (and
        (instance ?NOTIFY Notifying)
        (instance ?FORMULA Formula)
        (instance ?AGENT CognitiveAgent)
        (patient ?NOTIFY ?FORMULA)
        (destination ?NOTIFY ?AGENT))
    (not
        (holdsDuring
            (BeginFn
                (WhenFn ?NOTIFY))
            (knows ?AGENT ?FORMULA))))
Facebook.kif 608-618
(=>
    (and
        (instance ?QUESTION Questioning)
        (agent ?QUESTION ?AGENT)
        (patient ?QUESTION ?FORMULA)
        (instance ?FORMULA Formula))
    (holdsDuring
        (WhenFn ?QUESTION)
        (not
            (knows ?AGENT ?FORMULA))))
Merge.kif 13047-13053
(=>
    (and
        (instance ?REQUEST Requesting)
        (agent ?REQUEST ?AGENT)
        (patient ?REQUEST ?FORMULA)
        (instance ?FORMULA Formula))
    (desires ?AGENT ?FORMULA))
Merge.kif 13032-13038
(=>
    (and
        (instance ?STATE Stating)
        (agent ?STATE ?AGENT)
        (patient ?STATE ?FORMULA)
        (instance ?FORMULA Formula))
    (holdsDuring
        (WhenFn ?STATE)
        (believes ?AGENT ?FORMULA)))
Merge.kif 12962-12968
(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FactualText)
        (authors ?AGENT ?CLASS)
        (subsumesContentInstance ?TEXT ?CONTENT)
        (instance ?CONTENT Formula))
    (believes ?AGENT ?CONTENT))
Merge.kif 15367-15374
(=>
    (and
        (instance ?TR TravelRequest)
        (agent ?TR ?EMPLOYEE)
        (patient ?TR ?FORMULA)
        (instance ?FORMULA Formula))
    (desires ?EMPLOYEE ?FORMULA))
TravelPolicies.kif 499-505
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT ?EXPERIMENTING)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 0))
    (truth ?FORMULA True))
UXExperimentalTerms.kif 714-721
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT ?EXPERIMENTING)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 1))
    (truth ?FORMULA False))
UXExperimentalTerms.kif 723-730
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT ?EXPERIMENTING)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA))
    (represents ?VALUE
        (ProbabilityFn ?FORMULA)))
UXExperimentalTerms.kif 705-711

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


(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (result ?EXPERIMENT ?RESULT))
    (instance ?RESULT Formula))
UXExperimentalTerms.kif 3990-3994
(=>
    (and
        (instance ?INVESTIGATE Investigating)
        (patient ?INVESTIGATE ?PROP))
    (instance ?PROP Formula))
Merge.kif 12720-12724
(=>
    (and
        (instance ?PROFILE VisitorProfile)
        (member ?FORMULA ?PROFILE))
    (instance ?FORMULA Formula))
UXExperimentalTerms.kif 1332-1336
(=>
    (and
        (instance ?REL PropositionalAttitude)
        (?REL ?AGENT ?FORMULA))
    (instance ?FORMULA Formula))
Merge.kif 2864-2868
(=>
    (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 15401-15410
(=>
    (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 3996-4006
(=>
    (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 1338-1349
(=>
    (instance ?T TravelPolicy)
    (exists (?FORMULA1 ?PART1)
        (and
            (instance ?FORMULA1 Formula)
            (containsInformation ?FORMULA1 ?PART1)
            (instance ?PART1 Proposition)
            (subProposition ?PART1 ?T)
            (modalAttribute ?FORMULA1 Obligation))))
TravelPolicies.kif 456-464
(=>
    (instance ?T TravelPolicy)
    (exists (?FORMULA2 ?PART2)
        (and
            (instance ?FORMULA2 Formula)
            (containsInformation ?FORMULA2 ?PART2)
            (instance ?PART2 Proposition)
            (subProposition ?PART2 ?T)
            (modalAttribute ?FORMULA2 Permission))))
TravelPolicies.kif 466-474


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