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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hijacking

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 Hijacking est une sous-classe de Robbing

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