Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Formula
Formula

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


(subclass Formula Sentence) Merge.kif 1642-1642
(documentation Formula EnglishLanguage "A syntactically well-formed formula in the SUO-KIF knowledge representation language.") Merge.kif 1644-1645

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


(range PremisesFn Formula) Merge.kif 17234-17234
(termFormat EnglishLanguage Formula "formula") english_format.kif 900-900

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


(domain entails 1 Formula) Merge.kif 762-762
(domain entails 2 Formula) Merge.kif 763-763
(domain containsFormula 2 Formula) Merge.kif 1457-1457
(domain ProbabilityFn 1 Formula) Merge.kif 2682-2682
(domain conditionalProbability 1 Formula) Merge.kif 2692-2692
(domain conditionalProbability 2 Formula) Merge.kif 2693-2693
(domain increasesLikelihood 1 Formula) Merge.kif 2705-2705
(domain increasesLikelihood 2 Formula) Merge.kif 2706-2706
(domain decreasesLikelihood 1 Formula) Merge.kif 2725-2725
(domain decreasesLikelihood 2 Formula) Merge.kif 2726-2726
(domain independentProbability 1 Formula) Merge.kif 2742-2742
(domain independentProbability 2 Formula) Merge.kif 2743-2743
(domain prefers 2 Formula) Merge.kif 2796-2796
(domain prefers 3 Formula) Merge.kif 2797-2797
(domain desires 2 Formula) Merge.kif 2898-2898
(domain considers 2 Formula) Merge.kif 2910-2910
(domain believes 2 Formula) Merge.kif 2920-2920
(domain knows 2 Formula) Merge.kif 2936-2936
(domain says 2 Formula) Merge.kif 2956-2956
(domain causesProposition 1 Formula) Merge.kif 3926-3926
(domain causesProposition 2 Formula) Merge.kif 3927-3927
(domain holdsDuring 2 Formula) Merge.kif 3984-3984
(domain hasPurpose 2 Formula) Merge.kif 4050-4050
(domain hasPurposeForAgent 3 Formula) Merge.kif 4067-4067
(domain confersNorm 3 Formula) Merge.kif 4097-4097

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?FORMULA1 Formula)
        (instance ?FORMULA2 Formula))
    (or
        (increasesLikelihood ?FORMULA1 ?FORMULA2)
        (decreasesLikelihood ?FORMULA1 ?FORMULA2)
        (independentProbability ?FORMULA1 ?FORMULA2)))		 Merge.kif 2756-2763
(=>
    (and
        (instance ?QUESTION Questioning)
        (agent ?QUESTION ?AGENT)
        (containsFormula ?QUESTION ?FORMULA)
        (instance ?FORMULA Formula))
    (holdsDuring
        (WhenFn ?QUESTION)
        (not
            (knows ?AGENT ?FORMULA))))		 Merge.kif 13513-13522
(=>
    (and
        (instance ?COMMIT Committing)
        (containsFormula ?COMMIT ?FORMULA)
        (instance ?FORMULA Formula))
    (modalAttribute ?FORMULA Promise))		 Merge.kif 13529-13534
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA True))		 UXExperimentalTerms.kif 540-547
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA False))		 UXExperimentalTerms.kif 549-556
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 0))
    (truth ?FORMULA True))		 UXExperimentalTerms.kif 577-584
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 1))
    (truth ?FORMULA False))		 UXExperimentalTerms.kif 586-593

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


(=>
    (and
        (instance ?REL PropositionalAttitude)
        (?REL ?AGENT ?FORMULA))
    (instance ?FORMULA Formula))		 Merge.kif 2811-2815
(=>
    (instance ?P Phishing)
    (exists (?FS ?V ?M ?I)
        (and
            (instance ?M Communication)
            (origin ?M ?FS)
            (agent ?P ?FS)
            (destination ?M ?V)
            (instance ?I Formula)
            (knows ?V ?I)
            (not
                (desires ?V
                    (knows ?FS ?I)))
            (desires ?FS
                (knows ?FS ?I)))))		 ComputingBrands.kif 4141-4155
(=>
    (instance ?CONST Constitution)
    (exists (?FORMULA ?PART)
        (and
            (instance ?FORMULA Formula)
            (containsFormula ?PART ?FORMULA)
            (instance ?PART Proposition)
            (subProposition ?PART ?CONST)
            (modalAttribute ?FORMULA Obligation))))		 Government.kif 617-625
(=>
    (instance ?CONST Constitution)
    (exists (?FORMULA ?PART)
        (and
            (instance ?FORMULA Formula)
            (containsFormula ?PART ?FORMULA)
            (instance ?PART Proposition)
            (subProposition ?PART ?CONST)
            (modalAttribute ?FORMULA Permission))))		 Government.kif 627-635
(=>
    (and
        (instance ?W Worrying)
        (experiencer ?W ?A)
        (instance ?A Human))
    (fears ?A
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?W))
            (exists (?F)
                (and
                    (instance ?F Formula)
                    (containsFormula ?W ?F)
                    (truth ?F True))))))		 emotion.kif 1617-1630

statement
-------------------------


(exists (?FORMULA)
    (and
        (instance ?FORMULA Formula)
        (containsFormula ImmigrationAndNationalityAct_US ?FORMULA)
        (modalAttribute ?FORMULA Law)))		 Government.kif 2372-2376
(exists (?FORMULA)
    (and
        (instance ?FORMULA Formula)
        (containsFormula ImmigrationAndNationalityAct_Section219_US ?FORMULA)
        (modalAttribute ?FORMULA Law)))		 Government.kif 2379-2383
(exists (?FORMULA1 ?FORMULA2)
    (and
        (instance ?FORMULA1 Formula)
        (containsFormula ImmigrationAndNationalityAct_US ?FORMULA1)
        (instance ?FORMULA2 Formula)
        (containsFormula ImmigrationAndNationalityAct_Section219_US ?FORMULA2)
        (entails ?FORMULA1 ?FORMULA2)))		 Government.kif 2385-2391
(exists (?FORMULA)
    (and
        (instance ?FORMULA Formula)
        (containsFormula AntiterrorismAndEffectiveDeathPenaltyAct ?FORMULA)
        (modalAttribute ?FORMULA Law)))		 Government.kif 2395-2399
(exists (?FORMULA)
    (and
        (instance ?FORMULA Formula)
        (containsFormula AmericansWithDisabilitiesAct_US ?FORMULA)
        (modalAttribute ?FORMULA Law)))		 Medicine.kif 3176-3180


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners