| 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 | 子類 Stating and 語言交流 |
| appearance as argument number 2 |
|
|
| (partition Communication Stating Supposing Directing Committing Expressing Declaring) | Merge.kif 13190-13190 | 劃分 Communication, Stating, 假如, Directing, Committing, Expressing and Declaring |
| (subclass Answering Stating) | Mid-level-ontology.kif 887-887 | 子類 回答中 and Stating |
| (subclass Apologizing Stating) | Mid-level-ontology.kif 31534-31534 | 子類 Apologizing and Stating |
| (subclass Arguing Stating) | Mid-level-ontology.kif 899-899 | 子類 爭論 and Stating |
| (subclass Confirming Stating) | Mid-level-ontology.kif 31553-31553 | 子類 Confirming and Stating |
| (subclass Correcting Stating) | Mid-level-ontology.kif 31605-31605 | 子類 Correcting and Stating |
| (subclass Disagreeing Stating) | Merge.kif 13304-13304 | 子類 不同意 and Stating |
| (subclass Misdiagnosing Stating) | Medicine.kif 4186-4186 | 子類 Misdiagnosing and Stating |
| (subclass Pleading Stating) | Mid-level-ontology.kif 17511-17511 | 子類 懇求 and Stating |
| (subclass ReachingAgreement Stating) | Media.kif 125-125 | 子類 ReachingAgreement and Stating |
| (subclass Registering Stating) | Mid-level-ontology.kif 875-875 | 子類 註冊 and Stating |
| (subclass SITREP Stating) | MilitaryProcesses.kif 2727-2727 | 子類 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 17549-17549 | 子類 作證 and Stating |
| (termFormat ChineseLanguage Stating "陈述") | chinese_format.kif 1198-1198 | 子類 作證 and Stating |
| (termFormat EnglishLanguage Stating "stating") | english_format.kif 1613-1613 | 子類 作證 and Stating |
| (termFormat FrenchLanguage Stating "d�clarer") | french_format.kif 876-876 | 子類 作證 and Stating |
| (termFormat Hindi Stating "kathana") | terms-hindi.txt 409-409 | 子類 作證 and Stating |
| (termFormat ItalianLanguage Stating "Affermare") | terms-it.txt 412-412 | 子類 作證 and Stating |
| (termFormat JapaneseLanguage Stating "記載") | japanese_format.kif 2560-2560 | 子類 作證 and Stating |
| (termFormat PortugueseLanguage Stating "Declarar") | portuguese_format.kif 828-828 | 子類 作證 and Stating |
| (termFormat cb Stating "pagsaysay") | terms-cb.txt 414-414 | 子類 作證 and Stating |
| (termFormat cz Stating "stating") | terms-cz.txt 448-448 | 子類 作證 and Stating |
| 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 |
|
|
|