| Stating(d�clarer) | |
| 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 | D�clarer est une sous-classe de LinguisticCommunication |
| appearance as argument number 2 |
|
|
| (partition Communication Stating Supposing Directing Committing Expressing Declaring) | Merge.kif 13190-13190 | Communication est compl�tement d�compos� en d�clarer, Supposing, diriger, investir, exprimer, + d�clarer |
| (subclass Answering Stating) | Mid-level-ontology.kif 887-887 | Answering est une sous-classe de d�clarer |
| (subclass Apologizing Stating) | Mid-level-ontology.kif 31534-31534 | Apologizing est une sous-classe de d�clarer |
| (subclass Arguing Stating) | Mid-level-ontology.kif 899-899 | Arguing est une sous-classe de d�clarer |
| (subclass Confirming Stating) | Mid-level-ontology.kif 31553-31553 | Confirming est une sous-classe de d�clarer |
| (subclass Correcting Stating) | Mid-level-ontology.kif 31605-31605 | Correcting est une sous-classe de d�clarer |
| (subclass Disagreeing Stating) | Merge.kif 13304-13304 | Disagreeing est une sous-classe de d�clarer |
| (subclass Misdiagnosing Stating) | Medicine.kif 4186-4186 | Misdiagnosing est une sous-classe de d�clarer |
| (subclass Pleading Stating) | Mid-level-ontology.kif 17511-17511 | Pleading est une sous-classe de d�clarer |
| (subclass ReachingAgreement Stating) | Media.kif 125-125 | ReachingAgreement est une sous-classe de d�clarer |
| (subclass Registering Stating) | Mid-level-ontology.kif 875-875 | Registering est une sous-classe de d�clarer |
| (subclass SITREP Stating) | MilitaryProcesses.kif 2727-2727 | SITREP est une sous-classe de d�clarer |
| (subclass TerminalAttackControl Stating) | MilitaryProcesses.kif 450-450 | TerminalAttackControl est une sous-classe de d�clarer |
| (subclass TerminalGuidance Stating) | MilitaryProcesses.kif 502-502 | TerminalGuidance est une sous-classe de d�clarer |
| (subclass Testifying Stating) | Mid-level-ontology.kif 17549-17549 | Testifying est une sous-classe de d�clarer |
| (termFormat ChineseLanguage Stating "陈述") | chinese_format.kif 1198-1198 | Testifying est une sous-classe de d�clarer |
| (termFormat EnglishLanguage Stating "stating") | english_format.kif 1613-1613 | Testifying est une sous-classe de d�clarer |
| (termFormat FrenchLanguage Stating "d�clarer") | french_format.kif 876-876 | Testifying est une sous-classe de d�clarer |
| (termFormat Hindi Stating "kathana") | terms-hindi.txt 409-409 | Testifying est une sous-classe de d�clarer |
| (termFormat ItalianLanguage Stating "Affermare") | terms-it.txt 412-412 | Testifying est une sous-classe de d�clarer |
| (termFormat JapaneseLanguage Stating "記載") | japanese_format.kif 2560-2560 | Testifying est une sous-classe de d�clarer |
| (termFormat PortugueseLanguage Stating "Declarar") | portuguese_format.kif 828-828 | Testifying est une sous-classe de d�clarer |
| (termFormat cb Stating "pagsaysay") | terms-cb.txt 414-414 | Testifying est une sous-classe de d�clarer |
| (termFormat cz Stating "stating") | terms-cz.txt 448-448 | Testifying est une sous-classe de d�clarer |
| 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 |
|
|
|
|
|