detainee - Sigma Knowledge base Browser

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 6998-7000
(domain detainee 1 Confining)	Mid-level-ontology.kif 7002-7002	The number 1 argument of detainee is an instance of confining
(domain detainee 2 Animal)	Mid-level-ontology.kif 7003-7003	The number 2 argument of detainee is an instance of animal
(instance detainee CaseRole)	Mid-level-ontology.kif 7001-7001	detainee is an instance of case role
(subrelation detainee patient)	Mid-level-ontology.kif 7004-7004	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 19300-19300
(termFormat ChineseTraditionalLanguage detainee "被拘留者")	domainEnglishFormat.kif 19299-19299
(termFormat EnglishLanguage detainee "detainee")	domainEnglishFormat.kif 19298-19298

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 23796-23809

If a confining is an instance of imprisoning and an animal is a detainee of the confining and the animal is an instance of human and the confining exists during a time interval and the time interval is an instance of time interval,
then there exist a placing under arrest and another time interval such that the other time interval is an instance of time interval and the placing under arrest exists during the other time interval and the other time interval happens earlier than the time interval and the placing under arrest is an instance of placing under arrest and the animal is placed under arrest during the placing under arrest

consequent

(<=> (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) (and (instance ?IMPRISONING Imprisoning) (earlier ?BEFORE ?NOW) (holdsDuring ?BEFORE (detainee ?IMPRISONING ?P)))))	MilitaryPersons.kif 242-250	If prisoner is an attribute of an entity holds during a time interval, then there exist another time interval and another entity such that the other entity is an instance of imprisoning and the other time interval happens earlier than the time interval and the entity is a detainee of the other entity holds during the other time interval

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

KB Term:			Term intersection

English Word: