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, formule, pormula, sUtra, 公式

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


(documentation Formula ChineseLanguage "一个句法结构良好、以SUO-KIF知识表示语言的公式。") Merge.kif 1545-1545
(documentation Formula EnglishLanguage "A syntactically well-formed formula in the SUO-KIF knowledge representation language.") Merge.kif 1543-1544
(subclass Formula Sentence) Merge.kif 1542-1542

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


(termFormat ChineseLanguage Formula "公式") chinese_format.kif 847-847
(termFormat EnglishLanguage Formula "formula") english_format.kif 534-534
(termFormat FrenchLanguage Formula "formule") french_format.kif 523-523
(termFormat Hindi Formula "sUtra") terms-hindi.txt 54-54
(termFormat ItalianLanguage Formula "Formula") terms-it.txt 55-55
(termFormat PortugueseLanguage Formula "Formula") portuguese_format.kif 475-475
(termFormat ar Formula "صِيْغَة") arabic_format.kif 259-259
(termFormat cz Formula "formula") terms-cz.txt 90-90
(termFormat tg Formula "pormula") terms-tg.txt 58-58

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


(domain KappaFn 2 Formula) Merge.kif 5683-5683
(domain ProbabilityFn 1 Formula) Merge.kif 2728-2728
(domain attitudeForFormula 3 Formula) emotion.kif 2019-2019
(domain believes 2 Formula) Merge.kif 2991-2991
(domain causesProposition 1 Formula) Merge.kif 3928-3928
(domain causesProposition 2 Formula) Merge.kif 3929-3929
(domain conditionalProbability 1 Formula) Merge.kif 2740-2740
(domain conditionalProbability 2 Formula) Merge.kif 2741-2741
(domain confersNorm 2 Formula) Merge.kif 4120-4120
(domain confersObligation 1 Formula) Merge.kif 17802-17802
(domain confersRight 1 Formula) Merge.kif 17776-17776
(domain considers 2 Formula) Merge.kif 2980-2980
(domain containsFormula 2 Formula) Law.kif 22-22
(domain decreasesLikelihood 1 Formula) Merge.kif 2778-2778
(domain decreasesLikelihood 2 Formula) Merge.kif 2779-2779
(domain deprivesNorm 2 Formula) Merge.kif 4137-4137
(domain describes 1 Formula) Mid-level-ontology.kif 13795-13795
(domain desires 2 Formula) Merge.kif 2966-2966
(domain disapproves 2 Formula) Mid-level-ontology.kif 7144-7144
(domain doubts 2 Formula) Mid-level-ontology.kif 7115-7115
(domain entails 1 Formula) Merge.kif 791-791
(domain entails 2 Formula) Merge.kif 792-792
(domain expects 2 Formula) Mid-level-ontology.kif 7067-7067
(domain hasPurpose 2 Formula) Merge.kif 4064-4064
(domain hasPurposeForAgent 2 Formula) Merge.kif 4085-4085

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 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 13141-13146
(=>
    (and
        (instance ?FORMULA1 Formula)
        (instance ?FORMULA2 Formula))
    (or
        (increasesLikelihood ?FORMULA1 ?FORMULA2)
        (decreasesLikelihood ?FORMULA1 ?FORMULA2)
        (independentProbability ?FORMULA1 ?FORMULA2)))
Merge.kif 2813-2820
(=>
    (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 13126-13132
(=>
    (and
        (instance ?REQUEST Requesting)
        (agent ?REQUEST ?AGENT)
        (patient ?REQUEST ?FORMULA)
        (instance ?FORMULA Formula))
    (desires ?AGENT ?FORMULA))
Merge.kif 13111-13117
(=>
    (and
        (instance ?STATE Stating)
        (agent ?STATE ?AGENT)
        (patient ?STATE ?FORMULA)
        (instance ?FORMULA Formula))
    (holdsDuring
        (WhenFn ?STATE)
        (believes ?AGENT ?FORMULA)))
Merge.kif 13041-13047
(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FactualText)
        (authors ?AGENT ?CLASS)
        (subsumesContentInstance ?TEXT ?CONTENT)
        (instance ?CONTENT Formula))
    (believes ?AGENT ?CONTENT))
Merge.kif 15446-15453
(=>
    (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 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 12799-12803
(=>
    (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 2874-2878
(=>
    (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 15480-15489
(=>
    (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
(=>
    (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 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