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 21354-21357
(domain arrested 1 PlacingUnderArrest) Mid-level-ontology.kif 21358-21358
(domain arrested 2 Agent) Mid-level-ontology.kif 21359-21359
(instance arrested CaseRole) Mid-level-ontology.kif 21353-21353
(subrelation arrested controlled) Mid-level-ontology.kif 21360-21360

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 EnglishLanguage arrested "arrested") domainEnglishFormat.kif 1843-1843

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 21374-21384
(=>
    (arrested ?ARREST ?OBJ)
    (or
        (instance ?OBJ Human)
        (instance ?OBJ GroupOfPeople)))
Mid-level-ontology.kif 21368-21372

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 21374-21384
(=>
    (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 21393-21406


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