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 containsFormula 的 1 数量 是 内容承载物理instance
(domain containsFormula 2 Formula) Law.kif 22-22 containsFormula 的 2 数量 是 公式instance
(instance containsFormula BinaryRelation) Law.kif 20-20 containsFormula二元关系instance

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


(format EnglishLanguage containsFormula "%1 contains the formula %2") Law.kif 25-25
(relatedInternalConcept containsInformation containsFormula) Law.kif 23-23 包含信息containsFormula 是 内部相关
(termFormat EnglishLanguage containsFormula "contains formula") Law.kif 24-24

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


(=>
    (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 78-91
(=>
    (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 443-458


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