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 19686-19687
(externalImage Robbing "http://upload.wikimedia.org/wikipedia/commons/7/ 75/ Little_John_and_Robin_Hood_by_Frank_Godwin.jpg") pictureList.kif 2925-2925
(externalImage Robbing "http://upload.wikimedia.org/wikipedia/commons/c/ c8/ Robin_shoots_with_sir_Guy_by_Louis_Rhead_1912.png") pictureList.kif 2926-2926
(externalImage Robbing "http://upload.wikimedia.org/wikipedia/commons/f/ f3/ Robbing_a_rich_merchants_house_J._M._W._Silver.jpg") pictureList.kif 2730-2730
(subclass Robbing Stealing) Mid-level-ontology.kif 19685-19685 Robbing is a subclass of stealing

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


(subclass Hijacking Robbing) Mid-level-ontology.kif 23000-23000 Hijacking is a subclass of robbing
(subclass Kidnapping Robbing) Mid-level-ontology.kif 23058-23058 Kidnapping is a subclass of robbing
(termFormat ChineseLanguage Robbing "劫财") domainEnglishFormat.kif 50249-50249 Kidnapping is a subclass of robbing
(termFormat ChineseTraditionalLanguage Robbing "劫財") domainEnglishFormat.kif 50248-50248 Kidnapping is a subclass of robbing
(termFormat EnglishLanguage Robbing "robbing") domainEnglishFormat.kif 50247-50247 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 19689-19703


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