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 23526-23529
(domain arrested 1 PlacingUnderArrest) Mid-level-ontology.kif 23530-23530 Il numero 1 argomenti di arrested è un istanza di PlacingUnderArrest
(domain arrested 2 AutonomousAgent) Mid-level-ontology.kif 23531-23531 Il numero 2 argomenti di arrested è un istanza di AutonomousAgent
(instance arrested CaseRole) Mid-level-ontology.kif 23525-23525 arrested è un' istanza di RuoloSemantico
(subrelation arrested controlled) Mid-level-ontology.kif 23532-23532 arrested è una sottorelazione di 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
(format JapaneseLanguage arrested "%2 は、 %1 の最中逮捕され %n") japanese_format.kif 1877-1877
(termFormat ChineseLanguage arrested "被捕") domainEnglishFormat.kif 8454-8454
(termFormat ChineseLanguage arrested "逮捕") chinese_format.kif 58-58
(termFormat ChineseTraditionalLanguage arrested "被捕") domainEnglishFormat.kif 8453-8453
(termFormat EnglishLanguage arrested "arrested") domainEnglishFormat.kif 8452-8452

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 23546-23556
(=>
    (arrested ?ARREST ?OBJ)
    (or
        (instance ?OBJ Human)
        (instance ?OBJ GroupOfPeople)))
Mid-level-ontology.kif 23540-23544

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 23546-23556
(=>
    (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 23565-23578


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