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 17948-17949
(externalImage Robbing "http://upload.wikimedia.org/wikipedia/commons/7/ 75/ Little_John_and_Robin_Hood_by_Frank_Godwin.jpg") pictureList.kif 2927-2927
(externalImage Robbing "http://upload.wikimedia.org/wikipedia/commons/c/ c8/ Robin_shoots_with_sir_Guy_by_Louis_Rhead_1912.png") pictureList.kif 2928-2928
(externalImage Robbing "http://upload.wikimedia.org/wikipedia/commons/f/ f3/ Robbing_a_rich_merchants_house-J._M._W._Silver.jpg") pictureList.kif 2732-2732
(subclass Robbing Stealing) Mid-level-ontology.kif 17947-17947 Robbing is a subclass of stealing

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


(subclass Hijacking Robbing) Mid-level-ontology.kif 21343-21343 Hijacking is a subclass of robbing
(subclass Kidnapping Robbing) Mid-level-ontology.kif 21401-21401 Kidnapping is a subclass of robbing
(termFormat ChineseLanguage Robbing "劫财") domainEnglishFormat.kif 50199-50199
(termFormat ChineseTraditionalLanguage Robbing "劫財") domainEnglishFormat.kif 50198-50198
(termFormat EnglishLanguage Robbing "robbing") domainEnglishFormat.kif 50197-50197

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 17951-17965


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