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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Capturing
Capturing

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


(documentation Capturing EnglishLanguage "A Capturing is a ChangeOfControl event in which an Agent gains physical control over another Agent.") Mid-level-ontology.kif 22986-22988
(subclass Capturing ChangeOfControl) Mid-level-ontology.kif 22985-22985 subclass Capturing and ChangeOfControl

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


(subclass PlacingUnderArrest Capturing) Mid-level-ontology.kif 22996-22996 subclass PlacingUnderArrest and Capturing
(termFormat ChineseLanguage Capturing "捕获") domainEnglishFormat.kif 13125-13125
(termFormat ChineseTraditionalLanguage Capturing "捕獲") domainEnglishFormat.kif 13124-13124
(termFormat EnglishLanguage Capturing "capture") domainEnglishFormat.kif 13123-13123

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


(=>
    (and
        (instance ?CAPTURE Capturing)
        (controlled ?CAPTURE ?OBJ))
    (instance ?OBJ Agent))
Mid-level-ontology.kif 22990-22994


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