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

Formal Language: 



KB Term:  Term intersection
English Word: 

  arrested

Sigma KEE - arrested
arrested

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


(documentation arrested EnglishLanguage "(arrested ?EVENT ?AGENT) means that during ?EVENT, ?AGENT is taken into custody, typically by a representative of a law enforcement organization.") Mid-level-ontology.kif 21385-21388
(domain arrested 1 PlacingUnderArrest) Mid-level-ontology.kif 21389-21389 逮捕 的 1 数量 是 PlacingUnderArrestinstance
(domain arrested 2 Agent) Mid-level-ontology.kif 21390-21390 逮捕 的 2 数量 是 施事体instance
(instance arrested CaseRole) Mid-level-ontology.kif 21384-21384 逮捕格角色instance
(subrelation arrested controlled) Mid-level-ontology.kif 21391-21391 逮捕控制subrelation

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


(format ChineseLanguage arrested "%2 %n 是在 %1 的情况下被拘留") chinese_format.kif 57-57
(format EnglishLanguage arrested "%2 is %n placed under arrest during %1") english_format.kif 55-55
(termFormat ChineseLanguage arrested "逮捕") chinese_format.kif 58-58 termFormat ChineseLanguage, 逮捕 and "逮捕"
(termFormat EnglishLanguage arrested "arrested") domainEnglishFormat.kif 1843-1843 termFormat EnglishLanguage, 逮捕 and "arrested"

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


(=>
    (and
        (instance ?ARREST PlacingUnderArrest)
        (arrested ?ARREST ?AGENT)
        (instance ?AGENT GroupOfPeople)
        (member ?MEMBER ?AGENT))
    (exists (?ARREST1)
        (and
            (instance ?ARREST1 PlacingUnderArrest)
            (arrested ?ARREST1 ?MEMBER)
            (subProcess ?ARREST1 ?ARREST))))
Mid-level-ontology.kif 21405-21415
(=>
    (arrested ?ARREST ?OBJ)
    (or
        (instance ?OBJ Human)
        (instance ?OBJ GroupOfPeople)))
Mid-level-ontology.kif 21399-21403

consequent
-------------------------


(=>
    (and
        (instance ?ARREST PlacingUnderArrest)
        (arrested ?ARREST ?AGENT)
        (instance ?AGENT GroupOfPeople)
        (member ?MEMBER ?AGENT))
    (exists (?ARREST1)
        (and
            (instance ?ARREST1 PlacingUnderArrest)
            (arrested ?ARREST1 ?MEMBER)
            (subProcess ?ARREST1 ?ARREST))))
Mid-level-ontology.kif 21405-21415
(=>
    (and
        (instance ?IMPRISON Imprisoning)
        (detainee ?IMPRISON ?AGENT)
        (instance ?AGENT Human)
        (time ?IMPRISON ?INTERVAL)
        (instance ?INTERVAL TimeInterval))
    (exists (?ARREST ?TIME)
        (and
            (instance ?TIME TimeInterval)
            (time ?ARREST ?TIME)
            (earlier ?TIME ?INTERVAL)
            (instance ?ARREST PlacingUnderArrest)
            (arrested ?ARREST ?AGENT))))
Mid-level-ontology.kif 21424-21437


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