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


s__documentation(s__detainee__m,s__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 6416-6418
s__domain(s__detainee__m,n__1,s__Confining)

Mid-level-ontology.kif 6420-6420 The number 1 argument of detainee is an instance of confining
s__domain(s__detainee__m,n__2,s__Animal)

Mid-level-ontology.kif 6421-6421 The number 2 argument of detainee is an instance of animal
s__instance(s__CaseRole,s__Class)

s__instance(s__detainee__m,s__CaseRole)

Mid-level-ontology.kif 6419-6419 detainee is an instance of case role
s__subrelation(s__detainee__m,s__patient__m)

Mid-level-ontology.kif 6422-6422 detainee is a subrelation of patient

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


s__format(s__ChineseLanguage,s__detainee__m,'"%2 %n 是 %1 的 拘留者"')

domainEnglishFormat.kif 728-728
s__format(s__ChineseTraditionalLanguage,s__detainee__m,'"%2 %n 是 %1 的 拘留者"')

domainEnglishFormat.kif 727-727
s__format(s__EnglishLanguage,s__detainee__m,'"%2 is %n a detainee of %1"')

domainEnglishFormat.kif 726-726
s__termFormat(s__ChineseLanguage,s__detainee__m,'"被拘留者"')

domainEnglishFormat.kif 19275-19275
s__termFormat(s__ChineseTraditionalLanguage,s__detainee__m,'"被拘留者"')

domainEnglishFormat.kif 19274-19274
s__termFormat(s__EnglishLanguage,s__detainee__m,'"detainee"')

domainEnglishFormat.kif 19273-19273

antecedent
-------------------------


( ! [V__AGENT,V__IMPRISON,V__INTERVAL] :
   (((s__instance(V__IMPRISON,s__Imprisoning) &
         s__detainee(V__IMPRISON,V__AGENT)
       &
       s__instance(V__AGENT,s__Human) &
       s__time(V__IMPRISON,V__INTERVAL)
     &
     s__instance(V__INTERVAL,s__TimeInterval))
   =>
   (( ? [V__ARREST, V__TIME] :
       ((s__instance(V__TIME,s__TimeInterval) &
           s__time(V__ARREST,V__TIME)
         &
         s__earlier(V__TIME,V__INTERVAL)
       &
       s__instance(V__ARREST,s__PlacingUnderArrest) &
       s__arrested(V__ARREST,V__AGENT))))))
)
)

Mid-level-ontology.kif 22604-22617

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


( ! [V__AGENT,V__TIME,V__PLACE] :
   (((s__instance(V__AGENT,s__SentientAgent) &
         s__instance(V__TIME,s__TimePosition) &
         s__instance(V__PLACE,s__Object))
       =>
       (((s__detainedAtTimeInPlace(V__AGENT,V__TIME,V__PLACE)
           =>
           s__playsRoleInEventOfType(V__AGENT,s__detainee__m,s__Confining,V__TIME,V__PLACE))
       &
       (s__playsRoleInEventOfType(V__AGENT,s__detainee__m,s__Confining,V__TIME,V__PLACE)
       =>
       s__detainedAtTimeInPlace(V__AGENT,V__TIME,V__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
No TPTP formula. May not be expressible in strict first order. 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