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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - controlled
controlled

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


(documentation controlled EnglishLanguage "(controlled ?EVENT ?OBJECT) means that during the AchievingControl denoted by ?EVENT, ?OBJECT comes to be physically controlled by an Agent.") Mid-level-ontology.kif 21334-21337
(domain controlled 1 AchievingControl) Mid-level-ontology.kif 21339-21339 The number 1 argument of controlled is an instance of achieving control
(domain controlled 2 Object) Mid-level-ontology.kif 21340-21340 The number 2 argument of controlled is an instance of object
(instance controlled CaseRole) Mid-level-ontology.kif 21333-21333 controlled is an instance of case role
(subrelation controlled patient) Mid-level-ontology.kif 21338-21338 controlled is a subrelation of patient

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


(format ChineseLanguage controlled "%2 %n{does not} 在 %1 受到 Agent 在身体上的 controlled") chinese_format.kif 83-83
(format EnglishLanguage controlled "%2 %n{does not} come%p{s} to be physically controlled by an agent during %1") english_format.kif 68-68
(subrelation arrested controlled) Mid-level-ontology.kif 21391-21391 arrested is a subrelation of controlled
(termFormat ChineseLanguage controlled "控制") chinese_format.kif 84-84 "控制" is the printable form of controlled in ChineseLanguage
(termFormat EnglishLanguage controlled "controlled") domainEnglishFormat.kif 3260-3260 "controlled" is the printable form of controlled in english language

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


(=>
    (and
        (instance ?CAPTURE Capturing)
        (controlled ?CAPTURE ?OBJ))
    (instance ?OBJ Agent))
Mid-level-ontology.kif 21369-21373


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