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 相信自己讲的话。 例如:约翰声称月亮是由奶酪制成的。") Merge.kif 17467-17468
(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 17465-17466
(subclass Stating LinguisticCommunication) Merge.kif 17464-17464

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


(partition Communication Stating Supposing Directing Committing Expressing Declaring) Merge.kif 17343-17343
(subclass Answering Stating) Mid-level-ontology.kif 1281-1281
(subclass Apologizing Stating) Mid-level-ontology.kif 27787-27787
(subclass Arguing Stating) Mid-level-ontology.kif 1293-1293
(subclass Confirming Stating) Mid-level-ontology.kif 27806-27806
(subclass Correcting Stating) Mid-level-ontology.kif 27858-27858
(subclass Disagreeing Stating) Merge.kif 17478-17478
(subclass Pleading Stating) Mid-level-ontology.kif 13777-13777
(subclass ReachingAgreement Stating) Media.kif 125-125
(subclass Registering Stating) Mid-level-ontology.kif 1269-1269
(subclass TerminalAttackControl Stating) MilitaryProcesses.kif 441-441
(subclass TerminalGuidance Stating) MilitaryProcesses.kif 490-490
(subclass Testifying Stating) Mid-level-ontology.kif 13810-13810
(termFormat ChineseLanguage Stating "陈述") chinese_format.kif 1198-1198
(termFormat EnglishLanguage Stating "stating") english_format.kif 2303-2303
(termFormat JapaneseLanguage Stating "記載") english_format.kif 2304-2304

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


(=>
    (and
        (instance ?STATE Stating)
        (agent ?STATE ?AGENT)
        (patient ?STATE ?FORMULA)
        (instance ?FORMULA Formula))
    (holdsDuring
        (WhenFn ?STATE)
        (believes ?AGENT ?FORMULA)))
Merge.kif 17470-17476
(=>
    (and
        (instance ?STATE Stating)
        (result ?STATE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Statement))
Mid-level-ontology.kif 11854-11859

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 27811-27825
(=>
    (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 1473-1484
(=>
    (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 2284-2297
(=>
    (describes ?FORMULA ?OBJECT)
    (exists (?STATING ?AGENT)
        (and
            (instance ?STATING Stating)
            (agent ?STATING ?AGENT)
            (patient ?STATING ?FORMULA)
            (refers ?STATING ?OBJECT))))
Mid-level-ontology.kif 13801-13808
(=>
    (holdsDuring ?T1
        (prohibits ?A ?F))
    (exists (?S)
        (and
            (instance ?S Stating)
            (agent ?S ?A)
            (containsFormula ?S
                (=>
                    (causes
                        (agent ?P ?B)
                        (truth ?F true))
                    (punishes ?A ?B))))))
Law.kif 78-90
(=>
    (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 ?CS ?SP)))))
Mid-level-ontology.kif 27863-27875
(=>
    (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 2249-2258
(=>
    (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 439-455


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