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 21423-21426
(domain arrested 1 PlacingUnderArrest) Mid-level-ontology.kif 21427-21427 The number 1 argument of arrested is an instance of placing under arrest
(domain arrested 2 Agent) Mid-level-ontology.kif 21428-21428 The number 2 argument of arrested is an instance of agent
(instance arrested CaseRole) Mid-level-ontology.kif 21422-21422 arrested is an instance of case role
(subrelation arrested controlled) Mid-level-ontology.kif 21429-21429 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 21443-21453
(=>
    (arrested ?ARREST ?OBJ)
    (or
        (instance ?OBJ Human)
        (instance ?OBJ GroupOfPeople)))
Mid-level-ontology.kif 21437-21441

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 21443-21453
(=>
    (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 21462-21475


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