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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 21398-21401
(domain arrested 1 PlacingUnderArrest) Mid-level-ontology.kif 21402-21402 The number 1 argument of arrested is an instance of placing under arrest
(domain arrested 2 Agent) Mid-level-ontology.kif 21403-21403 The number 2 argument of arrested is an instance of agent
(instance arrested CaseRole) Mid-level-ontology.kif 21397-21397 arrested is an instance of case role
(subrelation arrested controlled) Mid-level-ontology.kif 21404-21404 arrested is a subrelation of controlled

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 57-57
(termFormat ChineseLanguage arrested "被捕") domainEnglishFormat.kif 8461-8461
(termFormat ChineseLanguage arrested "逮捕") chinese_format.kif 58-58
(termFormat ChineseTraditionalLanguage arrested "被捕") domainEnglishFormat.kif 8460-8460
(termFormat EnglishLanguage arrested "arrested") domainEnglishFormat.kif 8459-8459

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 21418-21428
(=>
    (arrested ?ARREST ?OBJ)
    (or
        (instance ?OBJ Human)
        (instance ?OBJ GroupOfPeople)))
Mid-level-ontology.kif 21412-21416

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 21418-21428
(=>
    (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 21437-21450


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners