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


KB Term:  Term intersection
English Word: 

Sigma KEE - Formula
Formula(formula)

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


(subclass Formula Sentence) Merge.kif 1582-1582 Formula is a subclass of sentence
(documentation Formula EnglishLanguage "A syntactically well-formed formula in the SUO-KIF knowledge representation language.") Merge.kif 1584-1585 Formula is a subclass of sentence

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


(range PremisesFn Formula) Merge.kif 17077-17077 The range of premises is an instance of formula
(termFormat EnglishLanguage Formula "formula") english_format.kif 896-896 The range of premises is an instance of formula

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


(domain rateDetail 2 Formula) Hotel.kif 3000-3000 The number 2 argument of rate detail is an instance of formula
(domain permits 2 Formula) Law.kif 22-22 The number 2 argument of permits is an instance of formula
(domain prohibits 2 Formula) Law.kif 44-44 The number 2 argument of prohibits is an instance of formula
(domain entails 1 Formula) Merge.kif 763-763 The number 1 argument of entails is an instance of formula
(domain entails 2 Formula) Merge.kif 764-764 The number 2 argument of entails is an instance of formula
(domain containsFormula 2 Formula) Merge.kif 1403-1403 The number 2 argument of contains formula is an instance of formula
(domain ProbabilityFn 1 Formula) Merge.kif 2608-2608 The number 1 argument of probability is an instance of formula
(domain conditionalProbability 1 Formula) Merge.kif 2618-2618 The number 1 argument of conditional probability is an instance of formula
(domain conditionalProbability 2 Formula) Merge.kif 2619-2619 The number 2 argument of conditional probability is an instance of formula
(domain increasesLikelihood 1 Formula) Merge.kif 2631-2631 The number 1 argument of increases likelihood is an instance of formula
(domain increasesLikelihood 2 Formula) Merge.kif 2632-2632 The number 2 argument of increases likelihood is an instance of formula
(domain decreasesLikelihood 1 Formula) Merge.kif 2651-2651 The number 1 argument of decreases likelihood is an instance of formula
(domain decreasesLikelihood 2 Formula) Merge.kif 2652-2652 The number 2 argument of decreases likelihood is an instance of formula
(domain independentProbability 1 Formula) Merge.kif 2668-2668 The number 1 argument of independent probability is an instance of formula
(domain independentProbability 2 Formula) Merge.kif 2669-2669 The number 2 argument of independent probability is an instance of formula
(domain prefers 2 Formula) Merge.kif 2722-2722 The number 2 argument of prefers is an instance of formula
(domain prefers 3 Formula) Merge.kif 2723-2723 The number 3 argument of prefers is an instance of formula
(domain desires 2 Formula) Merge.kif 2824-2824 The number 2 argument of desires is an instance of formula
(domain considers 2 Formula) Merge.kif 2836-2836 The number 2 argument of considers is an instance of formula
(domain believes 2 Formula) Merge.kif 2846-2846 The number 2 argument of believes is an instance of formula
(domain knows 2 Formula) Merge.kif 2862-2862 The number 2 argument of knows is an instance of formula
(domain says 2 Formula) Merge.kif 2882-2882 The number 2 argument of says is an instance of formula
(domain causesProposition 1 Formula) Merge.kif 3859-3859 The number 1 argument of causes proposition is an instance of formula
(domain causesProposition 2 Formula) Merge.kif 3860-3860 The number 2 argument of causes proposition is an instance of formula
(domain holdsDuring 2 Formula) Merge.kif 3919-3919 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
        (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 619-629 If X is an instance of notifying, Y is an instance of formula, Z is an instance of cognitive agent, Y is a patient of X, and X ends up at Z, then Z doesn't know Y doesn't hold during the beginning of the time of existence of X
(=>
    (and
        (agreementEffectiveDuring ?AGR ?DATE)
        (instance ?TIME ?DATE)
        (instance ?FORMULA Formula)
        (containsInformation ?FORMULA ?AGR))
    (holdsDuring ?TIME ?FORMULA))		 Government.kif 728-734 If X is an agreement effective during of Y, Z is an instance of X, W is an instance of formula, and W contains information Y, then W holds during Z
(=>
    (and
        (instance ?FORMULA1 Formula)
        (instance ?FORMULA2 Formula))
    (or
        (increasesLikelihood ?FORMULA1 ?FORMULA2)
        (decreasesLikelihood ?FORMULA1 ?FORMULA2)
        (independentProbability ?FORMULA1 ?FORMULA2)))		 Merge.kif 2682-2689 If X is an instance of formula and Y is an instance of formula, then At least one of the following holds: (1) X increases likelihood of Y (2) X decreases likelihood of Y (3) probability of X and Y is independent
(=>
    (and
        (instance ?STATE Stating)
        (agent ?STATE ?AGENT)
        (patient ?STATE ?FORMULA)
        (instance ?FORMULA Formula))
    (holdsDuring
        (WhenFn ?STATE)
        (believes ?AGENT ?FORMULA)))		 Merge.kif 13318-13324 If X is an instance of stating, Y is an agent of X, Z is a patient of X, and Z is an instance of formula, then Y believes Z holds during the time of existence of X
(=>
    (and
        (instance ?REQUEST Requesting)
        (agent ?REQUEST ?AGENT)
        (patient ?REQUEST ?FORMULA)
        (instance ?FORMULA Formula))
    (desires ?AGENT ?FORMULA))		 Merge.kif 13376-13382 If X is an instance of requesting, Y is an agent of X, Z is a patient of X, and Z is an instance of formula, then Y desires Z
(=>
    (and
        (instance ?QUESTION Questioning)
        (agent ?QUESTION ?AGENT)
        (patient ?QUESTION ?FORMULA)
        (instance ?FORMULA Formula))
    (holdsDuring
        (WhenFn ?QUESTION)
        (not
            (knows ?AGENT ?FORMULA))))		 Merge.kif 13389-13395 If X is an instance of questioning, Y is an agent of X, Z is a patient of X, and Z is an instance of formula, then Y doesn't know Z holds during the time of existence of X
(=>
    (and
        (instance ?COMMIT Committing)
        (patient ?COMMIT ?FORMULA)
        (instance ?FORMULA Formula))
    (modalAttribute ?FORMULA Promise))		 Merge.kif 13402-13407 If X is an instance of committing, Y is a patient of X, and Y is an instance of formula, then the statement Y has the modal force of promise
(=>
    (and
        (instance ?TEXT ?CLASS)
        (subclass ?CLASS FactualText)
        (authors ?AGENT ?CLASS)
        (subsumesContentInstance ?TEXT ?CONTENT)
        (instance ?CONTENT Formula))
    (believes ?AGENT ?CONTENT))		 Merge.kif 15575-15582 If X is an instance of Y, Y is a subclass of factual text, Z is the author of Y, X subsumes the content of W, and W is an instance of formula, then Z believes W
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA))
    (represents ?CONFIDENCE
        (ProbabilityFn ?FORMULA)))		 UXExperimentalTerms.kif 531-537 If X is the confidence in Y, Y is an instance of experimenting, Z is an instance of formula, and Z is a patient of Y, then X expresses the probability of Z
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA True))		 UXExperimentalTerms.kif 540-547 If X is the confidence in Y, Y is an instance of experimenting, Z is an instance of formula, Z is a patient of Y, and equal X and 100, then Z is true
(=>
    (and
        (confidenceInterval ?EXPERIMENT ?CONFIDENCE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?CONFIDENCE 100))
    (truth ?FORMULA False))		 UXExperimentalTerms.kif 549-556 If X is the confidence in Y, Y is an instance of experimenting, Z is an instance of formula, Z is a patient of Y, and equal X and 100, then Z is false
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA))
    (represents ?VALUE
        (ProbabilityFn ?FORMULA)))		 UXExperimentalTerms.kif 569-575 If the p-value of X is Y, X is an instance of experimenting, Z is an instance of formula, and Z is a patient of X, then Y expresses the probability of Z
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 0))
    (truth ?FORMULA True))		 UXExperimentalTerms.kif 577-584 If the p-value of X is Y, X is an instance of experimenting, Z is an instance of formula, Z is a patient of X, and equal Y and 0, then Z is true
(=>
    (and
        (pValue ?EXPERIMENT ?VALUE)
        (instance ?EXPERIMENT Experimenting)
        (instance ?FORMULA Formula)
        (patient ?EXPERIMENT ?FORMULA)
        (equal ?VALUE 1))
    (truth ?FORMULA False))		 UXExperimentalTerms.kif 586-593 If the p-value of X is Y, X is an instance of experimenting, Z is an instance of formula, Z is a patient of X, and equal Y and 1, then Z is false
(=>
    (and
        (activePolicy ?POL ?DATE)
        (instance ?TIME ?DATE)
        (instance ?FORMULA Formula)
        (containsInformation ?FORMULA ?POL))
    (holdsDuring ?TIME ?FORMULA))		 TravelPolicies.kif 175-181 If activePolicy X and Y, Z is an instance of Y, W is an instance of formula, and W contains information X, then W holds during Z
(=>
    (and
        (instance ?TR TravelRequest)
        (agent ?TR ?EMPLOYEE)
        (patient ?TR ?FORMULA)
        (instance ?FORMULA Formula))
    (desires ?EMPLOYEE ?FORMULA))		 TravelPolicies.kif 506-512 If X is an instance of an employee must request permission to go in a BusinessTrip, Y is an agent of X, Z is a patient of X, and Z is an instance of formula, then Y desires Z
(=>
    (and
        (instance ?W Worrying)
        (experiencer ?W ?A)
        (instance ?A Human)
        (subProcess ?W ?T)
        (instance ?T Thinking)
        (agent ?T ?A)
        (patient ?T ?F)
        (instance ?F Formula))
    (fears ?A ?F))		 emotion.kif 1497-1507 If All of the following hold: (1) X is an instance of worrying (2) Y experiences X (3) Y is an instance of human (4) X is a subprocess of Z (5) Z is an instance of Thinking (6) Y is an agent of Z (7) W is a patient of Z (8) W is an instance of formula, then Y fears W

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


(=>
    (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 If X is an instance of phishing, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that W is an instance of communication (3) W originates at Y (4) Y is an agent of X (5) W ends up at Z (6) V is an instance of formula (7) Z knows V (8) Z doesn't desire Y doesn't know V (9) Y desires Y knows V
(=>
    (instance ?CONST Constitution)
    (exists (?FORMULA ?PART)
        (and
            (instance ?FORMULA Formula)
            (containsInformation ?FORMULA ?PART)
            (instance ?PART Proposition)
            (subProposition ?PART ?CONST)
            (modalAttribute ?FORMULA Obligation))))		 Government.kif 617-625 If X is an instance of constitution, then there exist Y, Z such that Y is an instance of formula, Y contains information Z, Z is an instance of proposition, Z is a sub-proposition of X, and the statement Y has the modal force of obligation
(=>
    (instance ?CONST Constitution)
    (exists (?FORMULA ?PART)
        (and
            (instance ?FORMULA Formula)
            (containsInformation ?FORMULA ?PART)
            (instance ?PART Proposition)
            (subProposition ?PART ?CONST)
            (modalAttribute ?FORMULA Permission))))		 Government.kif 627-635 If X is an instance of constitution, then there exist Y, Z such that Y is an instance of formula, Y contains information Z, Z is an instance of proposition, Z is a sub-proposition of X, and the statement Y has the modal force of permission
(=>
    (and
        (instance ?REL PropositionalAttitude)
        (?REL ?AGENT ?FORMULA))
    (instance ?FORMULA Formula))		 Merge.kif 2737-2741 If X is an instance of propositional attitude and X Y and Z, then Z is an instance of formula
(=>
    (and
        (instance ?INVESTIGATE Investigating)
        (patient ?INVESTIGATE ?PROP))
    (instance ?PROP Formula))		 Merge.kif 13104-13108 If X is an instance of investigating and Y is a patient of X, then Y is an instance of formula
(=>
    (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 15606-15615 If X is an instance of Y, Y is a subclass of fictional text, and Z is the author of Y, then there exists W such that X subsumes the content of W, W is an instance of formula, and Z doesn't believe W
(=>
    (and
        (instance ?PROFILE VisitorProfile)
        (member ?FORMULA ?PROFILE))
    (instance ?FORMULA Formula))		 UXExperimentalTerms.kif 1134-1138 If X is an instance of visitor profile and Y is a member of X, then Y is an instance of formula
(=>
    (instance ?PROFILE VisitorProfile)
    (exists (?USER ?SITE)
        (and
            (instance ?USER AutonomousAgent)
            (instance ?SITE WebSite)
            (forall (?FORMULA)
                (=>
                    (and
                        (member ?FORMULA ?PROFILE)
                        (instance ?FORMULA Formula))
                    (visitorParameter ?USER ?FORMULA ?SITE))))))		 UXExperimentalTerms.kif 1140-1151 If X is an instance of visitor profile, then there exist Y, Z such that Y is an instance of agent, Z is an instance of web site, W W is a member of X, and W is an instance of formulaW is known about Y who visits Z
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (result ?EXPERIMENT ?RESULT))
    (instance ?RESULT Formula))		 UXExperimentalTerms.kif 3793-3797 If X is an instance of experimenting and Y is a result of X, then Y is an instance of formula
(=>
    (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 3799-3809 If X is an instance of experimenting, then there exist Y, Z such that Z is an instance of formula, Z is a result of X, Y is an instance of formula, Y is a patient of X, and the probability of Y expresses Z
(=>
    (instance ?T TravelPolicy)
    (exists (?FORMULA1 ?PART1)
        (and
            (instance ?FORMULA1 Formula)
            (containsInformation ?FORMULA1 ?PART1)
            (instance ?PART1 Proposition)
            (subProposition ?PART1 ?T)
            (modalAttribute ?FORMULA1 Obligation))))		 TravelPolicies.kif 463-471 If X is an instance of TravelPolicy, then there exist Y, Z such that Y is an instance of formula, Y contains information Z, Z is an instance of proposition, Z is a sub-proposition of X, and the statement Y has the modal force of obligation
(=>
    (instance ?T TravelPolicy)
    (exists (?FORMULA2 ?PART2)
        (and
            (instance ?FORMULA2 Formula)
            (containsInformation ?FORMULA2 ?PART2)
            (instance ?PART2 Proposition)
            (subProposition ?PART2 ?T)
            (modalAttribute ?FORMULA2 Permission))))		 TravelPolicies.kif 473-481 If X is an instance of TravelPolicy, then there exist Y, Z such that Y is an instance of formula, Y contains information Z, Z is an instance of proposition, Z is a sub-proposition of X, and the statement Y has the modal force of permission
(=>
    (and
        (instance ?W Worrying)
        (experiencer ?W ?A)
        (instance ?A Human))
    (exists (?T)
        (and
            (instance ?T Thinking)
            (agent ?T ?A)
            (patient ?T ?F)
            (instance ?F Formula)
            (fears ?A ?F)
            (causes ?T ?W))))		 emotion.kif 1483-1495 If X is an instance of worrying, Y experiences X, and Y is an instance of human, then there exists Z such that Z is an instance of Thinking, Y is an agent of Z, W is a patient of Z, W is an instance of formula, Y fears W, and Z causes X
(=>
    (and
        (instance ?W Worrying)
        (experiencer ?W ?A)
        (instance ?A Human))
    (fears ?A
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?W))
            (exists (?F)
                (and
                    (instance ?F Formula)
                    (patient ?W ?F)
                    (Truth ?F True))))))		 emotion.kif 1509-1520 If X is an instance of worrying, Y experiences X, and Y is an instance of human, then Y fears there exists Z such that Z is an instance of formula, Z is a patient of X, Truth Z, and true holds during immediately after the time of existence of X

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


(exists (?FORMULA)
    (and
        (instance ?FORMULA Formula)
        (containsInformation ?FORMULA ImmigrationAndNationalityAct_US)
        (modalAttribute ?FORMULA Law)))		 Government.kif 2363-2367 There exists X such that X is an instance of formula, X contains information immigration and nationality act_US, and the statement X has the modal force of law
(exists (?FORMULA)
    (and
        (instance ?FORMULA Formula)
        (containsInformation ?FORMULA ImmigrationAndNationalityAct_Section219_US)
        (modalAttribute ?FORMULA Law)))		 Government.kif 2370-2374 There exists X such that X is an instance of formula, X contains information immigration and nationality act- section219-US, and the statement X has the modal force of law
(exists (?FORMULA1 ?FORMULA2)
    (and
        (instance ?FORMULA1 Formula)
        (containsInformation ?FORMULA1 ImmigrationAndNationalityAct_US)
        (instance ?FORMULA2 Formula)
        (containsInformation ?FORMULA2 ImmigrationAndNationalityAct_Section219_US)
        (subsumesContentInstance ?FORMULA1 ?FORMULA2)))		 Government.kif 2376-2382 There exist X, Y such that X is an instance of formula, X contains information immigration and nationality act_US, Y is an instance of formula, Y contains information immigration and nationality act- section219-US, and X subsumes the content of Y
(exists (?FORMULA)
    (and
        (instance ?FORMULA Formula)
        (containsInformation ?FORMULA AntiterrorismAndEffectiveDeathPenaltyAct)
        (modalAttribute ?FORMULA Law)))		 Government.kif 2384-2388 There exists X such that X is an instance of formula, X contains information antiterrorism and effective death penalty act, and the statement X has the modal force of law
(exists (?FORMULA)
    (and
        (instance ?FORMULA Formula)
        (containsInformation ?FORMULA AmericansWithDisabilitiesAct_US)
        (modalAttribute ?FORMULA Law)))		 Medicine.kif 3158-3162 There exists X such that X is an instance of formula, X contains information ADA, and the statement X has the modal force of law


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 is open source software produced by Articulate Software and its partners