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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - gainsControl
gainsControl

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


(documentation gainsControl EnglishLanguage "(gainsControl ?EVENT ?AGENT) means that during ?EVENT, ?AGENT gains control of the patient (object).") Mid-level-ontology.kif 21381-21383
(domain gainsControl 1 AchievingControl) Mid-level-ontology.kif 21385-21385 The number 1 argument of gains control is an instance of achieving control
(domain gainsControl 2 Agent) Mid-level-ontology.kif 21386-21386 The number 2 argument of gains control is an instance of agent
(instance gainsControl CaseRole) Mid-level-ontology.kif 21380-21380 gains control is an instance of case role
(subrelation gainsControl agent) Mid-level-ontology.kif 21384-21384 gains control is a subrelation of agent

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


(format ChineseLanguage gainsControl "%2 在 %1 上 %n{does not} 获得对某个物体的物理操控") chinese_format.kif 109-109
(format EnglishLanguage gainsControl "%2 %n{does not} gain%p{s} physical control over some object during %1") english_format.kif 109-109
(termFormat ChineseLanguage gainsControl "取得控制权") chinese_format.kif 110-110
(termFormat ChineseLanguage gainsControl "获得控制权") domainEnglishFormat.kif 25267-25267
(termFormat ChineseTraditionalLanguage gainsControl "獲得控制權") domainEnglishFormat.kif 25266-25266
(termFormat EnglishLanguage gainsControl "gains control") domainEnglishFormat.kif 25265-25265


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