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 |
![]() |
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 |
|
![]() |
![]() |