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


s__documentation(s__Robbing,s__EnglishLanguage,'"Any instance of Stealing which involves the threat of the use of force."')

Mid-level-ontology.kif 17629-17630
s__externalImage(s__Robbing,'"http://upload.wikimedia.org/wikipedia/commons/7/ 75/ Little_John_and_Robin_Hood_by_Frank_Godwin.jpg"')

pictureList.kif 2927-2927
s__externalImage(s__Robbing,'"http://upload.wikimedia.org/wikipedia/commons/c/ c8/ Robin_shoots_with_sir_Guy_by_Louis_Rhead_1912.png"')

pictureList.kif 2928-2928
s__externalImage(s__Robbing,'"http://upload.wikimedia.org/wikipedia/commons/f/ f3/ Robbing_a_rich_merchants_house-J._M._W._Silver.jpg"')

pictureList.kif 2732-2732
s__instance(s__Stealing,s__SetOrClass)

s__instance(s__Robbing,s__SetOrClass)

s__subclass(s__Robbing,s__Stealing)

Mid-level-ontology.kif 17628-17628 Robbing is a subclass of stealing

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


s__subclass(s__Hijacking,s__Robbing)

s__instance(s__Robbing,s__SetOrClass)

s__instance(s__Hijacking,s__SetOrClass)

Mid-level-ontology.kif 21010-21010 Hijacking is a subclass of robbing
s__instance(s__Robbing,s__SetOrClass)

s__subclass(s__Kidnapping,s__Robbing)

s__instance(s__Kidnapping,s__SetOrClass)

Mid-level-ontology.kif 21068-21068 Kidnapping is a subclass of robbing
s__termFormat(s__ChineseLanguage,s__Robbing,'"劫财"')

domainEnglishFormat.kif 50199-50199
s__termFormat(s__ChineseTraditionalLanguage,s__Robbing,'"劫財"')

domainEnglishFormat.kif 50198-50198
s__termFormat(s__EnglishLanguage,s__Robbing,'"robbing"')

domainEnglishFormat.kif 50197-50197

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17632-17646


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