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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Stating
Stating(stating)Annunciation, abjuration, abnegation, account, accounting, accurse, accusal, accusation, accuse, acknowledge, acquaint, acrophony, add, admission, admit, admonish, admonishment, admonition, adumbrate, advance, advisory, affidavit, affirm, affirmation, affirmative, aforementioned, aforesaid, alibi, allegation, alleged, allegedly, allegement, amendment, anathematise, anathematize, anathemise, anathemize, anecdote, animatism, announcement, annunciatory, apologia, apology, append, appointment, apprisal, approbate, argue, ascription, aspersion...

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


(documentation Stating ChineseLanguage "这个 Class 的实例,它要求 agent 相信自己讲的话。 例如:约翰声称月亮是由奶酪制成的。") Merge.kif 13096-13097
(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 13094-13095
(subclass Stating LinguisticCommunication) Merge.kif 13093-13093 Stating is a subclass of linguistic communication

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


(partition Communication Stating Supposing Directing Committing Expressing Declaring) Merge.kif 12972-12972 Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring
(subclass Answering Stating) Mid-level-ontology.kif 1281-1281 Answering is a subclass of stating
(subclass Apologizing Stating) Mid-level-ontology.kif 27786-27786 Apologizing is a subclass of stating
(subclass Arguing Stating) Mid-level-ontology.kif 1293-1293 Arguing is a subclass of stating
(subclass Confirming Stating) Mid-level-ontology.kif 27805-27805 Confirming is a subclass of stating
(subclass Correcting Stating) Mid-level-ontology.kif 27857-27857 Correcting is a subclass of stating
(subclass Disagreeing Stating) Merge.kif 13107-13107 Disagreeing is a subclass of stating
(subclass Pleading Stating) Mid-level-ontology.kif 13776-13776 Pleading is a subclass of stating
(subclass ReachingAgreement Stating) Media.kif 125-125 ReachingAgreement is a subclass of stating
(subclass Registering Stating) Mid-level-ontology.kif 1269-1269 Registering is a subclass of stating
(subclass TerminalAttackControl Stating) MilitaryProcesses.kif 441-441 Terminal attack control is a subclass of stating
(subclass TerminalGuidance Stating) MilitaryProcesses.kif 490-490 Terminal guidance is a subclass of stating
(subclass Testifying Stating) Mid-level-ontology.kif 13809-13809 Testifying is a subclass of stating
(termFormat ChineseLanguage Stating "陈述") chinese_format.kif 1198-1198 "陈述" is the printable form of stating in ChineseLanguage
(termFormat EnglishLanguage Stating "stating") english_format.kif 1671-1671 "stating" is the printable form of stating in english language
(termFormat JapaneseLanguage Stating "記載") english_format.kif 1672-1672 "記載" is the printable form of stating in japanese language

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


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

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 27810-27824
(=>
    (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 13800-13807
(=>
    (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 27862-27874
(=>
    (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