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 6807-6809
(domain detainee 1 Confining)	Mid-level-ontology.kif 6811-6811	Die Zahl 1 Argument von detainee ist ein fall von Confining %n{nicht}
(domain detainee 2 Animal)	Mid-level-ontology.kif 6812-6812	Die Zahl 2 Argument von detainee ist ein fall von Animal %n{nicht}
(instance detainee CaseRole)	Mid-level-ontology.kif 6810-6810	detainee ist ein fall von CaseRole %n{nicht}
(subrelation detainee patient)	Mid-level-ontology.kif 6813-6813	detainee ist eine teilrelation von 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 23565-23578

Wenn Confining ist ein fall von Imprisoning %n{nicht} und detainee ** Confining and Animal und ** Animal ist ein fall von Human %n{nicht} und ** Confining besteht waehrend TimeInterval %n{nicht} und ** TimeInterval ist ein fall von TimeInterval %n{nicht},
dann es gibt PlacingUnderArrest und ** TimeInterval um ** ** TimeInterval ist ein fall von TimeInterval %n{nicht} und ** PlacingUnderArrest besteht waehrend ** ** TimeInterval %n{nicht} und ** ** TimeInterval geschieht frueh als ** TimeInterval %n{nicht} und ** PlacingUnderArrest ist ein fall von PlacingUnderArrest %n{nicht} und arrested ** PlacingUnderArrest and ** Animal

consequent

(<=> (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE))	Justice.kif 26-28	detainedAtTimeInPlace SentientAgent, TimePosition and Object genau dann wenn playsRoleInEventOfType SentientAgent, detainee, Confining, TimePosition and ** 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	Wenn Prisoner ist ein attribut von entity %n{nicht} haelt waehrend TimeInterval %n{nicht}, dann es gibt TimeInterval und Entity um Entity ist ein fall von Imprisoning %n{nicht} und TimeInterval geschieht frueh als TimeInterval %n{nicht} und detainee Entity and entity haelt waehrend TimeInterval %n{nicht}

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: