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

Formal Language: 



KB Term:  Term intersection
English Word: 

  detainee

Sigma KEE - detainee
detainee

appearance as argument number 1
-------------------------


(documentation detainee EnglishLanguage "(detainee ?EVENT ?OBJECT) means that in the Confining ?EVENT, the Object ?OBJECT is restrained by force, threat, or other form of intimidation.") Mid-level-ontology.kif 6439-6441
(domain detainee 1 Confining) Mid-level-ontology.kif 6443-6443 detainee 的 1 数量 是 关押instance
(domain detainee 2 Animal) Mid-level-ontology.kif 6444-6444 detainee 的 2 数量 是 动物instance
(instance detainee CaseRole) Mid-level-ontology.kif 6442-6442 detainee格角色instance
(subrelation detainee patient) Mid-level-ontology.kif 6445-6445 detainee受事subrelation

appearance as argument number 2
-------------------------


(format EnglishLanguage detainee "%2 is %n a detainee of %1") domainEnglishFormat.kif 191-191
(termFormat EnglishLanguage detainee "detainee") domainEnglishFormat.kif 3635-3635 termFormat EnglishLanguage, detainee and "detainee"

antecedent
-------------------------


(=>
    (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 21424-21437

consequent
-------------------------


(<=>
    (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE)
    (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE))
Justice.kif 26-28 detainedAtTimeInPlace 有感知的主事, 时间位置 and 客体 若且唯若 playsRoleInEventOfType 那个 有感知的主事, detainee, 关押, 那个 时间位置 and 那个 客体
(=>
    (holdsDuring ?NOW
        (attribute ?P Prisoner))
    (exists (?BEFORE ?IMPRISONING)
        (and
            (instance ?IMPRISONING Imprisoning)
            (earlier ?BEFORE ?NOW)
            (holdsDuring ?BEFORE
                (detainee ?IMPRISONING ?P)))))
MilitaryPersons.kif 242-250


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