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.") Law.kif 27-31
(domain containsFormula 1 ContentBearingPhysical) Law.kif 21-21 The number 1 argument of contains formula is an instance of content bearing physical
(domain containsFormula 2 Formula) Law.kif 22-22 The number 2 argument of contains formula is an instance of formula
(instance containsFormula BinaryRelation) Law.kif 20-20 contains formula is an instance of binary relation

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


(format EnglishLanguage containsFormula "%1 contains the formula %2") Law.kif 25-25
(relatedInternalConcept containsInformation containsFormula) Law.kif 23-23 contains information is internally related to contains formula
(termFormat EnglishLanguage containsFormula "contains formula") Law.kif 24-24

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


(=>
    (holdsDuring ?T1
        (prohibits ?A ?F))
    (exists (?S)
        (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 78-91
(=>
    (trusts ?A1 ?A2 ?P)
    (believes ?A1
        (=>
            (and
                (instance ?S Stating)
                (containsFormula ?S
                    (exists (?PI)
                        (and
                            (instance ?PI ?P)
                            (agent ?PI ?A2)))))
            (modalAttribute
                (exists (?PI)
                    (and
                        (instance ?PI ?P)
                        (agent ?PI ?A2))) Likely))))
Law.kif 443-459


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