| Punishing(punishing) | | castigate, detention, penalisation, penalise, penalization, penalize, penalty, punish, punishment |
| 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 | Punishing is a subclass of regulatory process |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Punishing "惩罚") | domainEnglishFormat.kif 48172-48172 | |
| (termFormat ChineseTraditionalLanguage Punishing "懲罰") | domainEnglishFormat.kif 48171-48171 | |
| (termFormat EnglishLanguage Punishing "punishing") | domainEnglishFormat.kif 48170-48170 |
| 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 |
|
|
|
|