Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ParkingBrake

 Sigma KEE - Punishing
Punishing(punishing)castigate, detention, penalisation, penalise, penalization, penalize, penalty, punish, punishment

appearance as argument number 1
-------------------------


(subclass Punishing RegulatoryProcess) Mid-level-ontology.kif 857-857 Punishing is a subclass of regulatory process
(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 858-860 Punishing is a subclass of regulatory process

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Punishing "punishing") domainEnglishFormat.kif 48127-48127
(termFormat ChineseTraditionalLanguage Punishing "懲罰") domainEnglishFormat.kif 48128-48128
(termFormat ChineseLanguage Punishing "惩罚") domainEnglishFormat.kif 48129-48129

antecedent
-------------------------


(=>
    (and
        (instance ?P Punishing)
        (agent ?P ?A)
        (causes ?P ?P2)
        (destination ?P ?D))
    (knows ?A
        (not
            (wants ?D ?P2))))		 Mid-level-ontology.kif 862-870 If X is an instance of punishing, Y is an agent of X, X causes Z, and X ends up at W, then Y knows W doesn't want Z


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners