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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - losesControl
losesControl

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


(documentation losesControl EnglishLanguage "(losesControl ?EVENT ?AGENT) means that during ?EVENT, ?AGENT loses physical control of the controlled object.") Mid-level-ontology.kif 22724-22726
(domain losesControl 1 ChangeOfControl) Mid-level-ontology.kif 22727-22727 The number 1 argument of loses control is an instance of change of control
(domain losesControl 2 Agent) Mid-level-ontology.kif 22728-22728 The number 2 argument of loses control is an instance of agent
(instance losesControl CaseRole) Mid-level-ontology.kif 22722-22722 loses control is an instance of case role
(subrelation losesControl experiencer) Mid-level-ontology.kif 22723-22723 loses control is a subrelation of experiencer

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


(format ChineseLanguage losesControl "%2 在 %1 上 %n{does not} 失去对某个物体的物理操控") chinese_format.kif 147-147
(format EnglishLanguage losesControl "%2 %n{does not} lose%p{s} physical control of some object during %1") english_format.kif 148-148
(termFormat ChineseLanguage losesControl "失去控制") domainEnglishFormat.kif 35034-35034
(termFormat ChineseLanguage losesControl "失去操控权") chinese_format.kif 148-148
(termFormat ChineseTraditionalLanguage losesControl "失去控制") domainEnglishFormat.kif 35033-35033
(termFormat EnglishLanguage losesControl "loses control") domainEnglishFormat.kif 35032-35032


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