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 13139-13140
(subclass Stating LinguisticCommunication) Merge.kif 13138-13138 子類 Stating and 語言交流

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


(partition Communication Stating Supposing Directing Committing Expressing Declaring) Merge.kif 13036-13036 劃分 Communication, Stating, 假如, Directing, Committing, Expressing and Declaring
(subclass Answering Stating) Mid-level-ontology.kif 894-894 子類 回答中 and Stating
(subclass Apologizing Stating) Mid-level-ontology.kif 29615-29615 子類 Apologizing and Stating
(subclass Arguing Stating) Mid-level-ontology.kif 906-906 子類 爭論 and Stating
(subclass Confirming Stating) Mid-level-ontology.kif 29634-29634 子類 Confirming and Stating
(subclass Correcting Stating) Mid-level-ontology.kif 29686-29686 子類 Correcting and Stating
(subclass Disagreeing Stating) Merge.kif 13150-13150 子類 不同意 and Stating
(subclass Misdiagnosing Stating) Medicine.kif 4180-4180 子類 Misdiagnosing and Stating
(subclass Pleading Stating) Mid-level-ontology.kif 16124-16124 子類 懇求 and Stating
(subclass ReachingAgreement Stating) Media.kif 125-125 子類 ReachingAgreement and Stating
(subclass Registering Stating) Mid-level-ontology.kif 882-882 子類 註冊 and Stating
(subclass SITREP Stating) MilitaryProcesses.kif 2692-2692 子類 SITREP and Stating
(subclass TerminalAttackControl Stating) MilitaryProcesses.kif 450-450 子類 終端攻擊控制 and Stating
(subclass TerminalGuidance Stating) MilitaryProcesses.kif 502-502 子類 終端指導 and Stating
(subclass Testifying Stating) Mid-level-ontology.kif 16162-16162 子類 作證 and Stating
(termFormat ChineseLanguage Stating "陈述") chinese_format.kif 1198-1198
(termFormat EnglishLanguage Stating "stating") english_format.kif 1613-1613
(termFormat FrenchLanguage Stating "d�clarer") french_format.kif 876-876
(termFormat Hindi Stating "kathana") terms-hindi.txt 409-409
(termFormat ItalianLanguage Stating "Affermare") terms-it.txt 412-412
(termFormat JapaneseLanguage Stating "記載") japanese_format.kif 2560-2560
(termFormat PortugueseLanguage Stating "Declarar") portuguese_format.kif 828-828
(termFormat cb Stating "pagsaysay") terms-cb.txt 414-414
(termFormat cz Stating "stating") terms-cz.txt 448-448

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 13142-13148
(=>
    (and
        (instance ?STATE Stating)
        (result ?STATE ?SENTENCE)
        (instance ?SENTENCE Sentence))
    (instance ?SENTENCE Statement))
Mid-level-ontology.kif 14236-14241

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 29639-29653
(=>
    (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 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 16153-16160
(=>
    (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 29691-29703
(=>
    (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 400-415


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