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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 20168-20169
(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 20167-20167

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


(subclass Hijacking Robbing) Mid-level-ontology.kif 23529-23529
(subclass Kidnapping Robbing) Mid-level-ontology.kif 23587-23587
(termFormat ChineseLanguage Robbing "劫财") domainEnglishFormat.kif 50220-50220
(termFormat ChineseTraditionalLanguage Robbing "劫財") domainEnglishFormat.kif 50219-50219
(termFormat EnglishLanguage Robbing "robbing") domainEnglishFormat.kif 50218-50218

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 20171-20185


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