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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Formula
Formula

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 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