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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hijacking
Hijacking

appearance as argument number 1
-------------------------


(documentation Hijacking EnglishLanguage "Robbing a Vehicle and then driving or piloting it away.") Mid-level-ontology.kif 21887-21888
(externalImage Hijacking "http://upload.wikimedia.org/wikipedia/en/0/08/ Gta3-pc-stealing.jpeg") pictureList.kif 2689-2689
(subclass Hijacking Robbing) Mid-level-ontology.kif 21886-21886

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


(termFormat ChineseLanguage Hijacking "劫持") domainEnglishFormat.kif 28197-28197
(termFormat ChineseTraditionalLanguage Hijacking "劫持") domainEnglishFormat.kif 28196-28196
(termFormat EnglishLanguage Hijacking "hijacking") domainEnglishFormat.kif 28195-28195

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


(=>
    (instance ?H Hijacking)
    (exists (?D)
        (and
            (subProcess ?D ?H)
            (instance ?D Driving))))
Mid-level-ontology.kif 21897-21902
(=>
    (instance ?H Hijacking)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (patient ?H ?V))))
Mid-level-ontology.kif 21890-21895
(=>
    (instance ?X Hijacking)
    (exists (?V ?A)
        (and
            (agent ?X ?A)
            (instance ?V TransportationDevice)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?X))
                (not
                    (possesses ?A ?V)))
            (holdsDuring
                (WhenFn ?X)
                (possesses ?A ?V)))))
Mid-level-ontology.kif 21904-21917


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