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 868-870 | |
(subclass Punishing RegulatoryProcess) | Mid-level-ontology.kif 867-867 | Punishing e' uma sub-classe de Processo Regulatorio |
appearance as argument number 2 |
(termFormat ChineseLanguage Punishing "惩罚") | domainEnglishFormat.kif 48134-48134 | |
(termFormat ChineseTraditionalLanguage Punishing "懲罰") | domainEnglishFormat.kif 48133-48133 | |
(termFormat EnglishLanguage Punishing "punishing") | domainEnglishFormat.kif 48132-48132 |
antecedent |
(=> (and (instance ?P Punishing) (agent ?P ?A) (patient ?P ?F) (destination ?P ?D)) (knows ?A (not (desires ?D ?F)))) |
Mid-level-ontology.kif 872-880 |