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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 12998-12999
(subclass Stating LinguisticCommunication) Merge.kif 12997-12997 陈述 是 语言交流 的 subclass

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


(partition Communication Stating Supposing Directing Committing Expressing Declaring) Merge.kif 12895-12895 沟通 详尽无遗地 partition 成 陈述, 假如, 指令g, 承诺, 表示, 和 声明
(subclass Answering Stating) Mid-level-ontology.kif 861-861 回答中 是 陈述 的 subclass
(subclass Apologizing Stating) Mid-level-ontology.kif 29531-29531 Apologizing 是 陈述 的 subclass
(subclass Arguing Stating) Mid-level-ontology.kif 873-873 争论 是 陈述 的 subclass
(subclass Confirming Stating) Mid-level-ontology.kif 29550-29550 Confirming 是 陈述 的 subclass
(subclass Correcting Stating) Mid-level-ontology.kif 29602-29602 Correcting 是 陈述 的 subclass
(subclass Disagreeing Stating) Merge.kif 13009-13009 不同意 是 陈述 的 subclass
(subclass Pleading Stating) Mid-level-ontology.kif 15971-15971 恳求 是 陈述 的 subclass
(subclass ReachingAgreement Stating) Media.kif 125-125 ReachingAgreement 是 陈述 的 subclass
(subclass Registering Stating) Mid-level-ontology.kif 849-849 注册 是 陈述 的 subclass
(subclass TerminalAttackControl Stating) MilitaryProcesses.kif 450-450 终端攻击控制 是 陈述 的 subclass
(subclass TerminalGuidance Stating) MilitaryProcesses.kif 502-502 终端指导 是 陈述 的 subclass
(subclass Testifying Stating) Mid-level-ontology.kif 16005-16005 作证 是 陈述 的 subclass
(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 13001-13007
(=>
    (and
        (instance ?STATE Stating)
        (result ?STATE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Statement))		 Mid-level-ontology.kif 14083-14088

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 29555-29569
(=>
    (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 1513-1524
(=>
    (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 15996-16003
(=>
    (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
(=>
    (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 29607-29619
(=>
    (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
        (=>
            (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