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

Formal Language: 



KB Term:  Term intersection
English Word: 

  controlled

 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 控制 的 1 数量 是 AchievingControl 的 instance
(domain controlled 2 Object) Mid-level-ontology.kif 21340-21340 控制 的 2 数量 是 客体 的 instance
(instance controlled CaseRole) Mid-level-ontology.kif 21333-21333 控制 是 格角色 的 instance
(subrelation controlled patient) Mid-level-ontology.kif 21338-21338 控制 是 受事 的 subrelation

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 逮捕 是 控制 的 subrelation
(termFormat ChineseLanguage controlled "控制") chinese_format.kif 84-84 termFormat ChineseLanguage, 控制 and "控制"
(termFormat EnglishLanguage controlled "controlled") domainEnglishFormat.kif 3260-3260 termFormat EnglishLanguage, 控制 and "controlled"

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


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


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