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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ScaleneMuscle

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 AutonomousAgent.") Mid-level-ontology.kif 23506-23508
(subclass Capturing ChangeOfControl) Mid-level-ontology.kif 23505-23505 Capturing e' uma sub-classe de ChangeOfControl

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


(subclass PlacingUnderArrest Capturing) Mid-level-ontology.kif 23516-23516 PlacingUnderArrest e' uma sub-classe de Capturing
(termFormat ChineseLanguage Capturing "捕获") domainEnglishFormat.kif 13122-13122
(termFormat ChineseTraditionalLanguage Capturing "捕獲") domainEnglishFormat.kif 13121-13121
(termFormat EnglishLanguage Capturing "capture") domainEnglishFormat.kif 13120-13120

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


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


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