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 AutonomousAgent.") Mid-level-ontology.kif 23423-23426
(domain controlled 1 AchievingControl) Mid-level-ontology.kif 23428-23428 Le nombre 1 argument de controlled est une instance de AchievingControl
(domain controlled 2 Object) Mid-level-ontology.kif 23429-23429 Le nombre 2 argument de controlled est une instance de objet
(instance controlled CaseRole) Mid-level-ontology.kif 23422-23422 controlled est une instance de r�le d�pendant du cas
(subrelation controlled patient) Mid-level-ontology.kif 23427-23427 controlled est une sous-relation de patient

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


(format ChineseLanguage controlled "%2 %n{does not} 在 %1 受到 AutonomousAgent 在身体上的 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 83-83
(format JapaneseLanguage controlled "%2 は %1 の間 agent によって物理的に come%p{s} controlled%n{} %n{ない}") japanese_format.kif 1890-1890
(subrelation arrested controlled) Mid-level-ontology.kif 23480-23480 arrested est une sous-relation de controlled
(termFormat ChineseLanguage controlled "受控") domainEnglishFormat.kif 17034-17034
(termFormat ChineseLanguage controlled "控制") chinese_format.kif 84-84
(termFormat ChineseTraditionalLanguage controlled "受控") domainEnglishFormat.kif 17033-17033
(termFormat EnglishLanguage controlled "controlled") domainEnglishFormat.kif 17032-17032

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


(=>
    (and
        (instance ?CAPTURE Capturing)
        (controlled ?CAPTURE ?OBJ))
    (instance ?OBJ AutonomousAgent))
Mid-level-ontology.kif 23458-23462


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