Stating(Declarar) |
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 | Declarar e' uma sub-classe de LinguisticCommunication |
appearance as argument number 2 |
(partition Communication Stating Supposing Directing Committing Expressing Declaring) | Merge.kif 13058-13058 | O conceito Communicacao e' completamente decomposto em Declarar, Supposing, Dirigir, Comprometer-se, Exprimir, + Declarar |
(subclass Answering Stating) | Mid-level-ontology.kif 894-894 | Answering e' uma sub-classe de Declarar |
(subclass Apologizing Stating) | Mid-level-ontology.kif 29603-29603 | Apologizing e' uma sub-classe de Declarar |
(subclass Arguing Stating) | Mid-level-ontology.kif 906-906 | Arguing e' uma sub-classe de Declarar |
(subclass Confirming Stating) | Mid-level-ontology.kif 29622-29622 | Confirming e' uma sub-classe de Declarar |
(subclass Correcting Stating) | Mid-level-ontology.kif 29674-29674 | Correcting e' uma sub-classe de Declarar |
(subclass Disagreeing Stating) | Merge.kif 13172-13172 | Disagreeing e' uma sub-classe de Declarar |
(subclass Misdiagnosing Stating) | Medicine.kif 4180-4180 | Misdiagnosing e' uma sub-classe de Declarar |
(subclass Pleading Stating) | Mid-level-ontology.kif 16123-16123 | Pleading e' uma sub-classe de Declarar |
(subclass ReachingAgreement Stating) | Media.kif 125-125 | ReachingAgreement e' uma sub-classe de Declarar |
(subclass Registering Stating) | Mid-level-ontology.kif 882-882 | Registering e' uma sub-classe de Declarar |
(subclass SITREP Stating) | MilitaryProcesses.kif 2692-2692 | SITREP e' uma sub-classe de Declarar |
(subclass TerminalAttackControl Stating) | MilitaryProcesses.kif 450-450 | TerminalAttackControl e' uma sub-classe de Declarar |
(subclass TerminalGuidance Stating) | MilitaryProcesses.kif 502-502 | TerminalGuidance e' uma sub-classe de Declarar |
(subclass Testifying Stating) | Mid-level-ontology.kif 16161-16161 | Testifying e' uma sub-classe de Declarar |
(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 |