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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Stating
Stating

VerbNet: characterize-29.2|report, confess-37.10|acknowledge, advise-37.9|caution, conjecture-29.5|avow, reflexive_appearance-48.1.2|assert, reflexive_appearance-48.1.2|assert, tell-37.2|tell, conjecture-29.5|avow, conjecture-29.5|avouch, conjecture-29.5|avow, judgment-33|fault, judgment-33|denounce, advise-37.9|caution, lecture-37.11|comment, confess-37.10|confess, confess-37.10|confess, say-37.7|confide, confront-98|confront, indicate-78|imply, conjecture-29.5|contend, suspect-81|accuse, say-37.7|declare, defend-85|defend, judgment-33|denounce, characterize-29.2|report, confess-37.10|proclaim, confront-98|confront, judgment-33|fault, defend-85|defend, confess-37.10|confess, say-37.7|hint, suspect-81|accuse, indicate-78|imply, indicate-78|imply, indicate-78|imply, reflexive_appearance-48.1.2|present, defend-85|defend, judgment-33|denounce, lecture-37.11|remark, advise-37.9|caution, transfer_mesg-37.1.1|tell, lecture-37.11|remark, lecture-37.11|comment, lecture-37.11|remark, reflexive_appearance-48.1.2|offer, lecture-37.11|comment, conjecture-29.5|contend, confront-98|confront, declare-29.4|profess, declare-29.4|profess, ...


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 12071-12072
(subclass Stating LinguisticCommunication) Merge.kif 12070-12070 subclass Stating and LinguisticCommunication

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


(partition Communication Stating Supposing Directing Committing Expressing Declaring) Merge.kif 11968-11968 partition Communication, Stating, Supposing, Directing, Committing, Expressing and Declaring
(subclass Answering Stating) Mid-level-ontology.kif 1276-1276 subclass Answering and Stating
(subclass Apologizing Stating) Mid-level-ontology.kif 27780-27780 subclass Apologizing and Stating
(subclass Arguing Stating) Mid-level-ontology.kif 1288-1288 subclass Arguing and Stating
(subclass Confirming Stating) Mid-level-ontology.kif 27799-27799 subclass Confirming and Stating
(subclass Correcting Stating) Mid-level-ontology.kif 27851-27851 subclass Correcting and Stating
(subclass Disagreeing Stating) Merge.kif 12082-12082 subclass Disagreeing and Stating
(subclass Pleading Stating) Mid-level-ontology.kif 13775-13775 subclass Pleading and Stating
(subclass ReachingAgreement Stating) Media.kif 125-125 subclass ReachingAgreement and Stating
(subclass Registering Stating) Mid-level-ontology.kif 1264-1264 subclass Registering and Stating
(subclass TerminalAttackControl Stating) MilitaryProcesses.kif 450-450 subclass TerminalAttackControl and Stating
(subclass TerminalGuidance Stating) MilitaryProcesses.kif 502-502 subclass TerminalGuidance and Stating
(subclass Testifying Stating) Mid-level-ontology.kif 13808-13808 subclass Testifying and Stating
(termFormat ChineseLanguage Stating "陈述") chinese_format.kif 1198-1198 termFormat ChineseLanguage, Stating and "陈述"
(termFormat EnglishLanguage Stating "stating") english_format.kif 1618-1618 termFormat EnglishLanguage, Stating and "stating"

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


(=>
    (and
        (instance ?STATE Stating)
        (agent ?STATE ?AGENT)
        (patient ?STATE ?FORMULA)
        (instance ?FORMULA Formula))
    (holdsDuring
        (WhenFn ?STATE)
        (believes ?AGENT ?FORMULA)))
Merge.kif 12074-12080
(=>
    (and
        (instance ?STATE Stating)
        (result ?STATE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Statement))
Mid-level-ontology.kif 11858-11863

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 27804-27818
(=>
    (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 1467-1478
(=>
    (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 2282-2295
(=>
    (describes ?FORMULA ?OBJECT)
    (exists (?STATING ?AGENT)
        (and
            (instance ?STATING Stating)
            (agent ?STATING ?AGENT)
            (patient ?STATING ?FORMULA)
            (refers ?STATING ?OBJECT))))
Mid-level-ontology.kif 13799-13806
(=>
    (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 27856-27868
(=>
    (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 2247-2256
(=>
    (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 441-457


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