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


KB Term:  Term intersection
English Word: 

Sigma KEE - Robbing
Robbing(robbing)
armed_robbery, extortion, heist, highway_robbery, holdup, protection, rip-off, robbery, rolling, stickup, tribute

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


(subclass Robbing Stealing) Mid-level-ontology.kif 20515-20515 Robbing is a subclass of stealing
(documentation Robbing EnglishLanguage "Any instance of Stealing which involves the threat of the use of force.") Mid-level-ontology.kif 20516-20517 Robbing is a subclass of stealing
(externalImage Robbing "http://upload.wikimedia.org/wikipedia/commons/f/ f3/ Robbing_a_rich_merchants_house_J._M._W._Silver.jpg") pictureList.kif 2730-2730 Robbing is a subclass of stealing
(externalImage Robbing "http://upload.wikimedia.org/wikipedia/commons/7/ 75/ Little_John_and_Robin_Hood_by_Frank_Godwin.jpg") pictureList.kif 2925-2925 Robbing is a subclass of stealing
(externalImage Robbing "http://upload.wikimedia.org/wikipedia/commons/c/ c8/ Robin_shoots_with_sir_Guy_by_Louis_Rhead_1912.png") pictureList.kif 2926-2926 Robbing is a subclass of stealing

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


(subclass Hijacking Robbing) Mid-level-ontology.kif 24177-24177 Hijacking is a subclass of robbing
(subclass Kidnapping Robbing) Mid-level-ontology.kif 24235-24235 Kidnapping is a subclass of robbing
(termFormat EnglishLanguage Robbing "robbing") domainEnglishFormat.kif 50211-50211 Kidnapping is a subclass of robbing
(termFormat ChineseTraditionalLanguage Robbing "劫財") domainEnglishFormat.kif 50212-50212 Kidnapping is a subclass of robbing
(termFormat ChineseLanguage Robbing "劫财") domainEnglishFormat.kif 50213-50213 Kidnapping is a subclass of robbing

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


(=>
    (and
        (instance ?R Robbing)
        (agent ?R ?P)
        (victim ?R ?P2))
    (exists (?T)
        (and
            (instance ?T Threatening)
            (subProcess ?T ?R)
            (fears ?P2
                (exists (?A)
                    (and
                        (instance ?A Attack)
                        (agent ?A ?P)
                        (victim ?A ?P2)))))))		 Mid-level-ontology.kif 20519-20533 If X is an instance of robbing, Y is an agent of X, and Z is the victim in X, then there exists W such that W is an instance of threatening, W is a subprocess of X, Z fears there exists V such that V is an instance of attack, Y is an agent of V, and Z is the victim in V


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


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