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 AutonomousAgent.") Mid-level-ontology.kif 25064-25067
(domain controlled 1 AchievingControl) Mid-level-ontology.kif 25069-25069 控制 的 1 数量 是 实现控制instance
(domain controlled 2 Object) Mid-level-ontology.kif 25070-25070 控制 的 2 数量 是 客体instance
(instance controlled CaseRole) Mid-level-ontology.kif 25063-25063 控制格角色instance
(subrelation controlled patient) Mid-level-ontology.kif 25068-25068 控制受事subrelation

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 25121-25121 逮捕控制subrelation
(termFormat ChineseLanguage controlled "受控") domainEnglishFormat.kif 17043-17043 逮捕控制subrelation
(termFormat ChineseLanguage controlled "控制") chinese_format.kif 84-84 逮捕控制subrelation
(termFormat ChineseTraditionalLanguage controlled "受控") domainEnglishFormat.kif 17042-17042 逮捕控制subrelation
(termFormat EnglishLanguage controlled "controlled") domainEnglishFormat.kif 17041-17041 逮捕控制subrelation

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


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


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 3.0 is open source software produced by Articulate Software and its partners