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 18596-18597
(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 18595-18595 劫财偷窃行为subclass

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


(subclass Hijacking Robbing) Mid-level-ontology.kif 21885-21885 劫持劫财subclass
(subclass Kidnapping Robbing) Mid-level-ontology.kif 21943-21943 绑架劫财subclass
(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 18599-18613


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