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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 22870-22872
(domain losesControl 1 ChangeOfControl) Mid-level-ontology.kif 22873-22873 The number 1 argument of loses control is an instance of change of control
(domain losesControl 2 Agent) Mid-level-ontology.kif 22874-22874 The number 2 argument of loses control is an instance of agent
(instance losesControl CaseRole) Mid-level-ontology.kif 22868-22868 loses control is an instance of case role
(subrelation losesControl experiencer) Mid-level-ontology.kif 22869-22869 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 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