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 13293-13294
(subclass Stating LinguisticCommunication) Merge.kif 13292-13292 陈述语言交流subclass

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


(partition Communication Stating Supposing Directing Committing Expressing Declaring) Merge.kif 13190-13190 沟通 详尽无遗地 partition陈述, 假如, 指令g, 承诺, 表示, 和 声明
(subclass Answering Stating) Mid-level-ontology.kif 887-887 回答中陈述subclass
(subclass Apologizing Stating) Mid-level-ontology.kif 31534-31534 Apologizing陈述subclass
(subclass Arguing Stating) Mid-level-ontology.kif 899-899 争论陈述subclass
(subclass Confirming Stating) Mid-level-ontology.kif 31553-31553 Confirming陈述subclass
(subclass Correcting Stating) Mid-level-ontology.kif 31605-31605 Correcting陈述subclass
(subclass Disagreeing Stating) Merge.kif 13304-13304 不同意陈述subclass
(subclass Misdiagnosing Stating) Medicine.kif 4186-4186 Misdiagnosing陈述subclass
(subclass Pleading Stating) Mid-level-ontology.kif 17511-17511 恳求陈述subclass
(subclass ReachingAgreement Stating) Media.kif 125-125 ReachingAgreement陈述subclass
(subclass Registering Stating) Mid-level-ontology.kif 875-875 注册陈述subclass
(subclass SITREP Stating) MilitaryProcesses.kif 2727-2727 SITREP陈述subclass
(subclass TerminalAttackControl Stating) MilitaryProcesses.kif 450-450 终端攻击控制陈述subclass
(subclass TerminalGuidance Stating) MilitaryProcesses.kif 502-502 终端指导陈述subclass
(subclass Testifying Stating) Mid-level-ontology.kif 17549-17549 作证陈述subclass
(termFormat ChineseLanguage Stating "陈述") chinese_format.kif 1198-1198 作证陈述subclass
(termFormat EnglishLanguage Stating "stating") english_format.kif 1613-1613 作证陈述subclass
(termFormat FrenchLanguage Stating "d�clarer") french_format.kif 876-876 作证陈述subclass
(termFormat Hindi Stating "kathana") terms-hindi.txt 409-409 作证陈述subclass
(termFormat ItalianLanguage Stating "Affermare") terms-it.txt 412-412 作证陈述subclass
(termFormat JapaneseLanguage Stating "記載") japanese_format.kif 2560-2560 作证陈述subclass
(termFormat PortugueseLanguage Stating "Declarar") portuguese_format.kif 828-828 作证陈述subclass
(termFormat cb Stating "pagsaysay") terms-cb.txt 414-414 作证陈述subclass
(termFormat cz Stating "stating") terms-cz.txt 448-448 作证陈述subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?STATE Stating)
        (agent ?STATE ?AGENT)
        (patient ?STATE ?FORMULA)
        (instance ?FORMULA Formula))
    (holdsDuring
        (WhenFn ?STATE)
        (believes ?AGENT ?FORMULA)))
Merge.kif 13296-13302
(=>
    (and
        (instance ?STATE Stating)
        (result ?STATE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Statement))
Mid-level-ontology.kif 15607-15612

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 31558-31572
(=>
    (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 1475-1486
(=>
    (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 2078-2091
(=>
    (describes ?FORMULA ?OBJECT)
    (exists (?STATING ?AGENT)
        (and
            (instance ?STATING Stating)
            (agent ?STATING ?AGENT)
            (patient ?STATING ?FORMULA)
            (refers ?STATING ?OBJECT))))
Mid-level-ontology.kif 17540-17547
(=>
    (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 65-78
(=>
    (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 31610-31622
(=>
    (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 2043-2052
(=>
    (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 406-421


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