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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - containsFormula
containsFormula

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


(documentation containsFormula EnglishLanguage "The analogue to containsInformation for a Formula. The Formula is contained in or expressed by the Physical. This could capture the relation between a stop sign and the fact that it expresses the directive to stop moving momentarily, or that a Waving signifies a friendly greeting.") Merge.kif 1383-1387
(domain containsFormula 1 ContentBearingPhysical) Merge.kif 1377-1377 Le nombre 1 argument de containsFormula est une instance de ContentBearingPhysical
(domain containsFormula 2 Formula) Merge.kif 1378-1378 Le nombre 2 argument de containsFormula est une instance de formule
(instance containsFormula BinaryPredicate) Merge.kif 1376-1376 containsFormula est une instance de pr�dicat binaire

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


(format EnglishLanguage containsFormula "%1 contains the formula %2") Merge.kif 1381-1381
(relatedInternalConcept containsInformation containsFormula) Merge.kif 1379-1379 containsInformation est reli� � l'int�rieur de SUMO � containsFormula
(termFormat EnglishLanguage containsFormula "contains formula") Merge.kif 1380-1380 containsInformation est reli� � l'int�rieur de SUMO � containsFormula

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


(=>
    (and
        (subclass ?PLATFORM PartyPlatform)
        (authors ?PARTY ?PLATFORM)
        (instance ?PARTY PoliticalParty)
        (instance ?INST ?PLATFORM)
        (containsFormula ?INST ?P))
    (believes ?PARTY ?P))		 Government.kif 2292-2299

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


(=>
    (and
        (instance ?DECIDE Deciding)
        (agent ?DECIDE ?A)
        (patient ?DECIDE ?S)
        (instance ?S Set)
        (result ?DECIDE ?X)
        (instance ?X ContentBearingPhysical))
    (containsFormula ?X
        (holdsDuring
            (FutureFn
                (WhenFn ?DECIDE))
            (exists (?M)
                (and
                    (element ?M ?S)
                    (instance ?M IntentionalProcess)
                    (agent ?M ?A))))))		 Merge.kif 12196-12212
(=>
    (and
        (instance ?M Misdiagnosing)
        (agent ?M ?D)
        (refers ?M ?P)
        (instance ?P Human))
    (exists (?DIS)
        (and
            (containsFormula ?M
                (attribute ?P ?DIS))
            (instance ?DIS DiseaseOrSyndrome)
            (believes ?D
                (attribute ?P ?DIS))
            (truth
                (attribute ?P ?DIS) False))))		 Medicine.kif 4201-4216
(=>
    (and
        (instance ?TEXT BirthCertificate)
        (instance ?B Birth)
        (instance ?A Human)
        (experiencer ?B ?A))
    (containsFormula ?TEXT
        (exists (?DAY ?P ?N)
            (and
                (birthdate ?A ?DAY)
                (instance ?DAY Day)
                (birthplace ?A ?P)
                (instance ?P GeographicArea)
                (represents ?N ?A)
                (instance ?N Name)))))		 Biography.kif 256-270
(=>
    (and
        (instance ?TEXT DeathCertificate)
        (instance ?D Death)
        (instance ?A Human)
        (experiencer ?D ?A))
    (containsFormula ?TEXT
        (exists (?DAY ?P ?N ?PROC)
            (and
                (deathdate ?A ?DAY)
                (instance ?DAY Day)
                (deathplace ?A ?P)
                (instance ?P GeographicArea)
                (represents ?N ?A)
                (instance ?N Name)
                (causes ?PROC ?D)
                (instance ?PROC Process)))))		 Biography.kif 287-303
(=>
    (and
        (instance ?TEXT MarriageCertificate)
        (instance ?A Human)
        (instance ?B Human)
        (spouse ?A ?B))
    (containsFormula ?TEXT
        (exists (?DAY)
            (and
                (weddingdate ?A ?B ?DAY)
                (instance ?DAY Day)))))		 Biography.kif 315-325
(=>
    (holdsDuring ?T1
        (prohibits ?A ?F))
    (exists (?S ?B ?P)
        (and
            (instance ?S Stating)
            (during
                (WhenFn ?S) ?T1)
            (agent ?S ?A)
            (containsFormula ?S
                (=>
                    (causes
                        (agent ?P ?B)
                        (truth ?F True))
                    (punishes ?A ?B))))))		 Law.kif 65-78
(=>
    (instance ?R PositionReport)
    (containsFormula ?R
        (exists (?O ?A)
            (and
                (instance ?O Object)
                (instance ?A Region)
                (located ?O
                    (WhenFn ?R) ?A)))))		 Mid-level-ontology.kif 7723-7731
(=>
    (instance ?WA WeatherAssessment)
    (containsFormula ?WA
        (exists (?R ?A ?WP)
            (and
                (instance ?R Reasoning)
                (instance ?A CognitiveAgent)
                (agent ?R ?A)
                (instance ?WP WeatherProcess)
                (patient ?R ?WP)
                (result ?R ?WA)
                (earlier
                    (WhenFn ?WP)
                    (WhenFn ?WA))))))		 Weather.kif 3917-3928
(=>
    (trusts ?A1 ?A2 ?P)
    (believes ?A1
        (=>
            (exists (?S ?PI ?P)
                (and
                    (instance ?S Stating)
                    (containsFormula ?S
                        (and
                            (instance ?PI ?P)
                            (agent ?PI ?A2)))))
            (modalAttribute
                (and
                    (instance ?PI ?P)
                    (agent ?PI ?A2)) Likely))))		 Law.kif 406-421


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