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 21358-21360
(domain losesControl 1 ChangeOfControl) Mid-level-ontology.kif 21361-21361
(domain losesControl 2 Agent) Mid-level-ontology.kif 21362-21362
(instance losesControl CaseRole) Mid-level-ontology.kif 21356-21356
(subrelation losesControl experiencer) Mid-level-ontology.kif 21357-21357

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 100-100
(termFormat ChineseLanguage losesControl "失去操控权") chinese_format.kif 148-148
(termFormat EnglishLanguage losesControl "loses control") domainEnglishFormat.kif 6260-6260

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners