Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Robbing

Sigma KEE - Robbing
Robbing

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 18597-18598
(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 18596-18596

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


(subclass Hijacking Robbing) Mid-level-ontology.kif 21886-21886
(subclass Kidnapping Robbing) Mid-level-ontology.kif 21944-21944
(termFormat ChineseLanguage Robbing "劫财") domainEnglishFormat.kif 50216-50216
(termFormat ChineseTraditionalLanguage Robbing "劫財") domainEnglishFormat.kif 50215-50215
(termFormat EnglishLanguage Robbing "robbing") domainEnglishFormat.kif 50214-50214

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 18600-18614


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