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 18624-18625
(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 18623-18623 RobbingStealingsubclass では %n

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


(subclass Hijacking Robbing) Mid-level-ontology.kif 21938-21938 HijackingRobbingsubclass では %n
(subclass Kidnapping Robbing) Mid-level-ontology.kif 21996-21996 KidnappingRobbingsubclass では %n
(termFormat ChineseLanguage Robbing "劫财") domainEnglishFormat.kif 50218-50218
(termFormat ChineseTraditionalLanguage Robbing "劫財") domainEnglishFormat.kif 50217-50217
(termFormat EnglishLanguage Robbing "robbing") domainEnglishFormat.kif 50216-50216

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


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