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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Capturing
Capturing(capture)capture, catch, get, recapture, retake

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


(documentation Capturing EnglishLanguage "A Capturing is a ChangeOfControl event in which an Agent gains physical control over another AutonomousAgent.") Mid-level-ontology.kif 24568-24570
(subclass Capturing ChangeOfControl) Mid-level-ontology.kif 24567-24567 Capture is a subclass of change of control

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


(subclass PlacingUnderArrest Capturing) Mid-level-ontology.kif 24578-24578 Placing under arrest is a subclass of capture
(termFormat ChineseLanguage Capturing "捕获") domainEnglishFormat.kif 13137-13137 Placing under arrest is a subclass of capture
(termFormat ChineseTraditionalLanguage Capturing "捕獲") domainEnglishFormat.kif 13136-13136 Placing under arrest is a subclass of capture
(termFormat EnglishLanguage Capturing "capture") domainEnglishFormat.kif 13135-13135 Placing under arrest is a subclass of capture

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


(=>
    (and
        (instance ?CAPTURE Capturing)
        (controlled ?CAPTURE ?OBJ))
    (instance ?OBJ AutonomousAgent))
Mid-level-ontology.kif 24572-24576


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