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 6780-6782
(domain detainee 1 Confining) Mid-level-ontology.kif 6784-6784 Le nombre 1 argument de detainee est une instance de confiner
(domain detainee 2 Animal) Mid-level-ontology.kif 6785-6785 Le nombre 2 argument de detainee est une instance de animal
(instance detainee CaseRole) Mid-level-ontology.kif 6783-6783 detainee est une instance de r�le d�pendant du cas
(subrelation detainee patient) Mid-level-ontology.kif 6786-6786 detainee est une sous-relation de 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 19284-19284
(termFormat ChineseTraditionalLanguage detainee "被拘留者") domainEnglishFormat.kif 19283-19283
(termFormat EnglishLanguage detainee "detainee") domainEnglishFormat.kif 19282-19282

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 23513-23526

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


(<=>
    (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE)
    (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE))
Justice.kif 26-28 detainedAtTimeInPlace sentient agent, position temporel and objet playsRoleInEventOfType sentient agent, detainee, confiner, position temporel and objet
(=>
    (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 3.0 is open source software produced by Articulate Software and its partners