Punishing(惩罚) |
appearance as argument number 1 |
(documentation Punishing EnglishLanguage "A RegulatoryProcess where the agent does something to the destination that the agent knows is undesirable for the destination.") | Mid-level-ontology.kif 861-863 | |
(subclass Punishing RegulatoryProcess) | Mid-level-ontology.kif 860-860 | 惩罚 是 监管过程 的 subclass |
appearance as argument number 2 |
(termFormat ChineseLanguage Punishing "惩罚") | domainEnglishFormat.kif 48136-48136 | |
(termFormat ChineseTraditionalLanguage Punishing "懲罰") | domainEnglishFormat.kif 48135-48135 | |
(termFormat EnglishLanguage Punishing "punishing") | domainEnglishFormat.kif 48134-48134 |
antecedent |
(=> (and (instance ?P Punishing) (agent ?P ?A) (patient ?P ?F) (destination ?P ?D)) (knows ?A (not (desires ?D ?F)))) |
Mid-level-ontology.kif 865-873 |