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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Stating

Sigma KEE - Stating
Stating

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


(documentation Stating ChineseLanguage "这个 Class 的实例,它要求 agent 相信自己讲的话。 例如:约翰声称月亮是由奶酪制成的。") chinese_format.kif 3258-3259
(documentation Stating EnglishLanguage "Instances of this Class commit the agent to some truth.For example, John claimed that the moon is made of green cheese.") Merge.kif 12565-12566
(subclass Stating LinguisticCommunication) Merge.kif 12564-12564

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


(partition Communication Stating Supposing Directing Committing Expressing Declaring) Merge.kif 12462-12462
(subclass Answering Stating) Mid-level-ontology.kif 837-837
(subclass Apologizing Stating) Mid-level-ontology.kif 28975-28975
(subclass Arguing Stating) Mid-level-ontology.kif 849-849
(subclass Confirming Stating) Mid-level-ontology.kif 28994-28994
(subclass Correcting Stating) Mid-level-ontology.kif 29046-29046
(subclass Disagreeing Stating) Merge.kif 12576-12576
(subclass Pleading Stating) Mid-level-ontology.kif 15522-15522
(subclass ReachingAgreement Stating) Media.kif 125-125
(subclass Registering Stating) Mid-level-ontology.kif 825-825
(subclass TerminalAttackControl Stating) MilitaryProcesses.kif 450-450
(subclass TerminalGuidance Stating) MilitaryProcesses.kif 502-502
(subclass Testifying Stating) Mid-level-ontology.kif 15556-15556
(termFormat ChineseLanguage Stating "陈述") chinese_format.kif 1198-1198
(termFormat EnglishLanguage Stating "stating") english_format.kif 1613-1613

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


(=>
    (and
        (instance ?STATE Stating)
        (agent ?STATE ?AGENT)
        (patient ?STATE ?FORMULA)
        (instance ?FORMULA Formula))
    (holdsDuring
        (WhenFn ?STATE)
        (believes ?AGENT ?FORMULA)))
Merge.kif 12568-12574
(=>
    (and
        (instance ?STATE Stating)
        (result ?STATE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Statement))
Mid-level-ontology.kif 13675-13680

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


(=>
    (and
        (instance ?C Confirming)
        (agent ?C ?A)
        (containsInformation ?C ?P))
    (exists (?S ?RA ?A2)
        (and
            (instance ?S Stating)
            (earlier ?S ?C)
            (instance ?RA ReachingAgreement)
            (agent ?S ?A2)
            (containsInformation ?RA ?P)
            (containsInformation ?S ?P)
            (partyToAgreement ?RA ?A)
            (partyToAgreement ?RA ?A2))))
Mid-level-ontology.kif 28999-29013
(=>
    (and
        (instance ?CAB GovernmentCabinet)
        (subOrganization ?CAB
            (GovernmentFn ?AREA))
        (instance ?AREA GeopoliticalArea))
    (hasPurpose ?CAB
        (exists (?ADVICE ?LEADER)
            (and
                (instance ?ADVICE Stating)
                (agent ?ADVICE ?CAB)
                (patient ?ADVICE ?LEADER)
                (leader ?LEADER
                    (GovernmentFn ?AREA))))))
Government.kif 1499-1510
(=>
    (and
        (instance ?PAGE ViewItemPage)
        (instance ?ADVERTISING WebListing)
        (component ?ADVERTISING ?PAGE)
        (patient ?ADVERTISING ?ITEM)
        (instance ?ITEM Physical))
    (exists (?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT)
        (and
            (instance ?STATING Stating)
            (patient ?STATING ?DESCRIPTION)
            (refers ?DESCRIPTION ?ITEM)
            (result ?DESCRIPTION ?DESCRIPTIONCONTENT)
            (part ?DESCRIPTIONCONTENT ?PAGE))))
UXExperimentalTerms.kif 2287-2300
(=>
    (describes ?FORMULA ?OBJECT)
    (exists (?STATING ?AGENT)
        (and
            (instance ?STATING Stating)
            (agent ?STATING ?AGENT)
            (patient ?STATING ?FORMULA)
            (refers ?STATING ?OBJECT))))
Mid-level-ontology.kif 15547-15554
(=>
    (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
(=>
    (instance ?C Correcting)
    (exists (?D ?S ?SP ?CP)
        (and
            (instance ?D Disagreeing)
            (subProcess ?C ?D)
            (instance ?S Stating)
            (subProcess ?S ?D)
            (containsInformation ?S ?SP)
            (containsInformation ?C ?CP)
            (refers ?CP ?SP)
            (not
                (consistent ?CP ?SP)))))
Mid-level-ontology.kif 29051-29063
(=>
    (instance ?DESCRIPTIONPAGE ProductDescriptionPage)
    (exists (?PRODUCT ?DESCRIPTION ?STATING ?DESCRIPTIONCONTENT)
        (and
            (instance ?PRODUCT Class)
            (instance ?STATING Stating)
            (patient ?STATING ?DESCRIPTION)
            (refers ?DESCRIPTION ?PRODUCT)
            (result ?DESCRIPTION ?DESCRIPTIONCONTENT)
            (part ?DESCRIPTIONCONTENT ?DESCRIPTIONPAGE))))
UXExperimentalTerms.kif 2252-2261
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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