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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Confining
Confining(confining)abduct, cabin, choke_hold, chokehold, closet, confine, confinement, coop_in, coop_up, custody, false_imprisonment, fold, free, freeborn, gate, ground, house_arrest, impress, imprisonment, internment, isolated, kidnap, lockdown, maroon, nobble, pen_up, quarantined, sequestered, servile, shanghai, snatch

appearance as argument number 1
-------------------------


s__documentation(s__Confining,s__ChineseLanguage,'"这是 Keeping ProcessClass,这是发生在 当 patient 在非自愿的情况下被拘留,而这受事者可以是 HumanAnimal。这包括笼罩、坐牢和监禁等。"')

chinese_format.kif 3143-3144
s__documentation(s__Confining,s__EnglishLanguage,'"The Class of Keeping Processes where the patient is a Human or an Animal and is kept involuntarily. This covers caging, imprisonment, jailing, etc."')

Merge.kif 11587-11589
s__subclass(s__Confining,s__Keeping)

s__instance(s__Confining,s__SetOrClass)

s__instance(s__Keeping,s__SetOrClass)

Merge.kif 11586-11586 Confining is a subclass of keeping

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


s__subclass(s__Imprisoning,s__Confining)

s__instance(s__Imprisoning,s__SetOrClass)

s__instance(s__Confining,s__SetOrClass)

Mid-level-ontology.kif 12501-12501 Imprisoning is a subclass of confining
s__termFormat(s__ChineseLanguage,s__Confining,'"关押"')

chinese_format.kif 1155-1155
s__termFormat(s__EnglishLanguage,s__Confining,'"confining"')

english_format.kif 1532-1532

appearance as argument number 3
-------------------------


s__domain(s__detainee__m,n__1,s__Confining)

Mid-level-ontology.kif 6270-6270 The number 1 argument of detainee is an instance of confining

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11598-11603
( ! [V__CONFINE] :
   ((s__instance(V__CONFINE,s__Confining) =>
       (( ? [V__AGENT] :
           ((s__instance(V__AGENT,s__Animal) &
               s__patient(V__CONFINE,V__AGENT))))))
   )
)

Merge.kif 11591-11596

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
( ! [V__AGENT,V__ESCAPE] :
   ((s__instance(V__AGENT,s__Agent) =>
       (((s__instance(V__ESCAPE,s__Escaping) &
             s__agent(V__ESCAPE,V__AGENT))
         =>
         (( ? [V__CONFINE] :
             ((s__instance(V__CONFINE,s__Confining) &
                 s__patient(V__CONFINE,V__AGENT)
               &
               s__meetsTemporally(s__WhenFn(V__CONFINE)
            ,s__WhenFn(V__ESCAPE)))))))))
)
)

Mid-level-ontology.kif 15764-15772
No TPTP formula. May not be expressible in strict first order. Merge.kif 12258-12268
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23736-23744
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6254-6264
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4372-4380
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4360-4366


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