Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(documentation Robbing EnglishLanguage "Any instance of Stealing which involves the threat of the use of force.") Mid-level-ontology.kif 18855-18856
(externalImage Robbing "http://upload.wikimedia.org/wikipedia/commons/7/ 75/ Little_John_and_Robin_Hood_by_Frank_Godwin.jpg") pictureList.kif 2926-2926
(externalImage Robbing "http://upload.wikimedia.org/wikipedia/commons/c/ c8/ Robin_shoots_with_sir_Guy_by_Louis_Rhead_1912.png") pictureList.kif 2927-2927
(externalImage Robbing "http://upload.wikimedia.org/wikipedia/commons/f/ f3/ Robbing_a_rich_merchants_house-J._M._W._Silver.jpg") pictureList.kif 2731-2731
(subclass Robbing Stealing) Mid-level-ontology.kif 18854-18854 Robbing is a subclass of stealing

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


(subclass Hijacking Robbing) Mid-level-ontology.kif 22169-22169 Hijacking is a subclass of robbing
(subclass Kidnapping Robbing) Mid-level-ontology.kif 22227-22227 Kidnapping is a subclass of robbing
(termFormat ChineseLanguage Robbing "劫财") domainEnglishFormat.kif 50256-50256 Kidnapping is a subclass of robbing
(termFormat ChineseTraditionalLanguage Robbing "劫財") domainEnglishFormat.kif 50255-50255 Kidnapping is a subclass of robbing
(termFormat EnglishLanguage Robbing "robbing") domainEnglishFormat.kif 50254-50254 Kidnapping is a subclass of robbing

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


(=>
    (and
        (instance ?R Robbing)
        (agent ?R ?P)
        (patient ?R ?P2))
    (exists (?T)
        (and
            (instance ?T Threatening)
            (subProcess ?T ?R)
            (patient ?T
                (exists (?A)
                    (and
                        (instance ?A Attack)
                        (agent ?A ?P)
                        (patient ?A ?P2)))))))
Mid-level-ontology.kif 18858-18872


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 is open source software produced by Articulate Software and its partners