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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 6440-6442
(domain detainee 1 Confining) Mid-level-ontology.kif 6444-6444 The number 1 argument of detainee is an instance of confining
(domain detainee 2 Animal) Mid-level-ontology.kif 6445-6445 The number 2 argument of detainee is an instance of animal
(instance detainee CaseRole) Mid-level-ontology.kif 6443-6443 detainee is an instance of case role
(subrelation detainee patient) Mid-level-ontology.kif 6446-6446 detainee is a subrelation of patient

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 19275-19275
(termFormat ChineseTraditionalLanguage detainee "被拘留者") domainEnglishFormat.kif 19274-19274
(termFormat EnglishLanguage detainee "detainee") domainEnglishFormat.kif 19273-19273


        (instance ?IMPRISON Imprisoning)
        (detainee ?IMPRISON ?AGENT)
        (instance ?AGENT Human)
        (time ?IMPRISON ?INTERVAL)
        (instance ?INTERVAL TimeInterval))
    (exists (?ARREST ?TIME)
            (instance ?TIME TimeInterval)
            (time ?ARREST ?TIME)
            (earlier ?TIME ?INTERVAL)
            (instance ?ARREST PlacingUnderArrest)
            (arrested ?ARREST ?AGENT))))
Mid-level-ontology.kif 22936-22949


    (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE)
    (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE))
Justice.kif 26-28 A sentient agent detained at time in place a time position for an object if and only if the sentient agent plays role in event of type detainee for confining with the time position and the object
    (holdsDuring ?NOW
        (attribute ?P Prisoner))
    (exists (?BEFORE ?IMPRISONING)
            (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 3.0 is open source software produced by Articulate Software and its partners