| 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 13161-13162 | |
| (subclass Stating LinguisticCommunication) | Merge.kif 13160-13160 | 陈述 是 语言交流 的 subclass |
| appearance as argument number 2 |
|
|
| (partition Communication Stating Supposing Directing Committing Expressing Declaring) | Merge.kif 13058-13058 | 沟通 详尽无遗地 partition 成 陈述, 假如, 指令g, 承诺, 表示, 和 声明 |
| (subclass Answering Stating) | Mid-level-ontology.kif 894-894 | 回答中 是 陈述 的 subclass |
| (subclass Apologizing Stating) | Mid-level-ontology.kif 29603-29603 | Apologizing 是 陈述 的 subclass |
| (subclass Arguing Stating) | Mid-level-ontology.kif 906-906 | 争论 是 陈述 的 subclass |
| (subclass Confirming Stating) | Mid-level-ontology.kif 29622-29622 | Confirming 是 陈述 的 subclass |
| (subclass Correcting Stating) | Mid-level-ontology.kif 29674-29674 | Correcting 是 陈述 的 subclass |
| (subclass Disagreeing Stating) | Merge.kif 13172-13172 | 不同意 是 陈述 的 subclass |
| (subclass Misdiagnosing Stating) | Medicine.kif 4180-4180 | Misdiagnosing 是 陈述 的 subclass |
| (subclass Pleading Stating) | Mid-level-ontology.kif 16123-16123 | 恳求 是 陈述 的 subclass |
| (subclass ReachingAgreement Stating) | Media.kif 125-125 | ReachingAgreement 是 陈述 的 subclass |
| (subclass Registering Stating) | Mid-level-ontology.kif 882-882 | 注册 是 陈述 的 subclass |
| (subclass SITREP Stating) | MilitaryProcesses.kif 2692-2692 | 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 16161-16161 | 作证 是 陈述 的 subclass |
| (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 13164-13170 | |
| (=> (and (instance ?STATE Stating) (result ?STATE ?SENTENCE) (instance ?SENTENCE Sentence)) (instance ?SENTENCE Statement)) |
Mid-level-ontology.kif 14235-14240 |
| 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 29627-29641 |
|
| (=> (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 16152-16159 | |
| (=> (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 29679-29691 |
|
| (=> (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 |
|
|
|
|