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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 6419-6421
(domain detainee 1 Confining) Mid-level-ontology.kif 6423-6423
(domain detainee 2 Animal) Mid-level-ontology.kif 6424-6424
(instance detainee CaseRole) Mid-level-ontology.kif 6422-6422
(subrelation detainee patient) Mid-level-ontology.kif 6425-6425

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


(format ChineseLanguage detainee "%2 %n 是 %1 的 拘留者") domainEnglishFormat.kif 728-728
(format ChineseTraditionalLanguage detainee "%2 %n 是 %1 的 拘留者") domainEnglishFormat.kif 727-727
(format EnglishLanguage detainee "%2 is %n a detainee of %1") domainEnglishFormat.kif 726-726
(termFormat ChineseLanguage detainee "被拘留者") domainEnglishFormat.kif 19216-19216
(termFormat ChineseTraditionalLanguage detainee "被拘留者") domainEnglishFormat.kif 19215-19215
(termFormat EnglishLanguage detainee "detainee") domainEnglishFormat.kif 19214-19214

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 21468-21481

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


(<=>
    (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE)
    (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE))
Justice.kif 26-28
(=>
    (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 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