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 22564-22567
(domain arrested 1 PlacingUnderArrest) Mid-level-ontology.kif 22568-22568 The number 1 argument of arrested is an instance of placing under arrest
(domain arrested 2 Agent) Mid-level-ontology.kif 22569-22569 The number 2 argument of arrested is an instance of agent
(instance arrested CaseRole) Mid-level-ontology.kif 22563-22563 arrested is an instance of case role
(subrelation arrested controlled) Mid-level-ontology.kif 22570-22570 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 8463-8463
(termFormat ChineseLanguage arrested "逮捕") chinese_format.kif 58-58
(termFormat ChineseTraditionalLanguage arrested "被捕") domainEnglishFormat.kif 8462-8462
(termFormat EnglishLanguage arrested "arrested") domainEnglishFormat.kif 8461-8461

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 22584-22594
(=>
    (arrested ?ARREST ?OBJ)
    (or
        (instance ?OBJ Human)
        (instance ?OBJ GroupOfPeople)))
Mid-level-ontology.kif 22578-22582

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 22584-22594
(=>
    (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 22603-22616


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