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 22955-22958
(domain controlled 1 AchievingControl) Mid-level-ontology.kif 22960-22960 domain controlled, 1 and AchievingControl
(domain controlled 2 Object) Mid-level-ontology.kif 22961-22961 domain controlled, 2 and Object
(instance controlled CaseRole) Mid-level-ontology.kif 22954-22954 instance controlled and CaseRole
(subrelation controlled patient) Mid-level-ontology.kif 22959-22959 subrelation controlled and 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 83-83
(subrelation arrested controlled) Mid-level-ontology.kif 23012-23012 subrelation arrested and controlled
(termFormat ChineseLanguage controlled "受控") domainEnglishFormat.kif 17025-17025
(termFormat ChineseLanguage controlled "控制") chinese_format.kif 84-84
(termFormat ChineseTraditionalLanguage controlled "受控") domainEnglishFormat.kif 17024-17024
(termFormat EnglishLanguage controlled "controlled") domainEnglishFormat.kif 17023-17023

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


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


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