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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Keeping
Keeping(keeping)arrest, at_bay, backlog, bank, bar, bastioned, battlemented, bolt, bower, box_in, box_up, brick_in, brick_over, brick_up, bring_up, cache, cage, cage_in, captive, carry, carry_over, check, circumscribe, close, cold_storage, commissariat, confine, confined, conserve, containment, cornered, corral, demurrage, deposit, deposition, domesticate, domesticise, domesticize, embank, embower, encircle, enclose, eye_bank, filing, fortified, frame, free, free-range, fuel_level, fund...

VerbNet: other_cos-45.4|halt, tape-22.4|bolt, keep-15.2|hoard, pocket-9.10|cage, pocket-9.10|cage, keep-15.2|stockpile, pocket-9.10|corral, other_cos-45.4|tame, other_cos-45.4|tame, other_cos-45.4|tame, fill-9.8|encircle, fill-9.8|frame, fill-9.8|encircle, other_cos-45.4|halt, keep-15.2|store, keep-15.2|hoard, keep-15.2|hoard, seem-109|keep, concealment-16|impound, confine-92|imprison, seem-109|keep, defend-85|preserve, keep-15.2|hoard, keep-15.2|store, seem-109|keep, force-59|trap, keep-15.2|store, other_cos-45.4|tame, confine-92|hold, keep-15.2|store, keep-15.2|hoard, keep-15.2|store, keep-15.2|hoard, keep-15.2|store, keep-15.2|stockpile, keep-15.2|stockpile, keep-15.2|store, other_cos-45.4|tame, force-59|trap, pocket-9.10|wharf,


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


s__documentation(s__Keeping,s__ChineseLanguage,'"这是一组当 agent 把某些东西放到一个特定位置上经过一段 较长的时间。"')

chinese_format.kif 3141-3142
s__documentation(s__Keeping,s__EnglishLanguage,'"The Class of Processes where the agent keeps something in a particular location for an extended period of time."')

Merge.kif 11278-11279
s__instance(s__Keeping,s__SetOrClass)

s__subclass(s__Keeping,s__IntentionalProcess)

s__instance(s__IntentionalProcess,s__SetOrClass)

Merge.kif 11277-11277 Keeping is a subclass of intentional process

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


s__subclass(s__Confining,s__Keeping)

s__instance(s__Confining,s__SetOrClass)

s__instance(s__Keeping,s__SetOrClass)

Merge.kif 11303-11303 Confining is a subclass of keeping
s__termFormat(s__ChineseLanguage,s__Keeping,'"保存"')

chinese_format.kif 1154-1154
s__termFormat(s__EnglishLanguage,s__Keeping,'"keeping"')

english_format.kif 1530-1530

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


( ! [V__HR,V__H,V__K] :
   ((s__instance(V__HR,s__Reel) &
       s__instance(V__K,s__Keeping) &
       s__instance(V__H,s__CorpuscularObject) &
       s__attribute(V__H,s__LongAndThin) &
       s__attribute(V__H,s__Pliable) &
       s__instrument(V__K,V__HR)
     &
     s__patient(V__K,V__H))
=>
( ? [V__P] :
   ((s__instance(V__P,s__Object) &
       (s__part(V__P,V__H)
       &
       s__meetsSpatially(V__P,V__HR)))))
)
)

Cars.kif 4260-4272
( ! [V__HR,V__H,V__K] :
   ((s__instance(V__HR,s__Reel) &
       s__instance(V__K,s__Keeping) &
       s__instance(V__H,s__CorpuscularObject) &
       s__attribute(V__H,s__LongAndThin) &
       s__attribute(V__H,s__Pliable) &
       s__instrument(V__K,V__HR)
     &
     s__patient(V__K,V__H))
=>
( ? [V__R] :
   ((s__instance(V__R,s__Rotating) &
       s__patient(V__R,V__HR)
     &
     s__subProcess(V__R,V__K))))
)
)

Cars.kif 4274-4287
( ! [V__AGENT,V__OBJ,V__KEEP] :
   (s__instance(V__AGENT,s__Agent) =>
     (s__instance(V__KEEP,s__Keeping) &
       s__agent(V__KEEP,V__AGENT)
     &
     s__patient(V__KEEP,V__OBJ))
=>
( ? [V__PUT] :
   ((s__instance(V__PUT,s__Putting) &
       s__agent(V__PUT,V__AGENT)
     &
     s__patient(V__PUT,V__OBJ)
   &
   s__earlier(s__WhenFn(V__PUT)
,s__WhenFn(V__KEEP)))))
)
)

Merge.kif 11281-11291
No TPTP formula. May not be expressible in strict first order. Merge.kif 11293-11301

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


No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 102-121
( ! [V__ANIMAL] :
   (s__instance(V__ANIMAL,s__DomesticAnimal) =>
     ( ? [V__KEEP, V__PERSON] :
       ((s__instance(V__KEEP,s__Keeping) &
           s__agent(V__KEEP,V__PERSON)
         &
         s__instance(V__PERSON,s__Human) &
         s__patient(V__KEEP,V__ANIMAL))))
)
)

Mid-level-ontology.kif 17780-17787
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6713-6721
( ! [V__CASE] :
   (s__instance(V__CASE,s__CartridgeCase) =>
     ( ? [V__CARTRIDGE, V__BULLET, V__K] :
       ((s__instance(V__CARTRIDGE,s__BulletCartridge) &
           s__instance(V__BULLET,s__Bullet) &
           s__instance(V__K,s__Keeping) &
           s__properPart(V__CASE,V__CARTRIDGE)
         &
         s__properPart(V__BULLET,V__CARTRIDGE)
       &
       s__agent(V__K,V__CASE)
     &
     s__patient(V__K,V__BULLET))))
)
)

Mid-level-ontology.kif 1596-1606
( ! [V__DEVICE] :
   (s__instance(V__DEVICE,s__Holder) =>
     s__capability(s__Keeping,s__instrument__m,V__DEVICE)
   )
)

Mid-level-ontology.kif 4787-4789
( ! [V__POCKET] :
   (s__instance(V__POCKET,s__Pocket) =>
     s__capability(s__Keeping,s__instrument__m,V__POCKET)
   )
)

Mid-level-ontology.kif 5672-5674
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13190-13197
( ! [V__SVC] :
   (s__instance(V__SVC,s__SafetyDepositService) =>
     ( ? [V__SAFE, V__KEEP, V__OBJ, V__AGENT] :
       ((s__instance(V__OBJ,s__Object) &
           s__instance(V__AGENT,s__CognitiveAgent) &
           (s__serviceProvider(V__SVC,V__AGENT)
           &
           s__instance(V__SAFE,s__SafeContainer) &
           s__instance(V__KEEP,s__Keeping) &
           s__located(V__KEEP,V__SAFE)
         &
         s__possesses(V__AGENT,V__SAFE)
       &
       s__patient(V__KEEP,V__OBJ)
     &
     s__subProcess(V__KEEP,V__SVC)
   &
   ~(s__possesses(V__AGENT,V__OBJ))))))
)
)

Hotel.kif 2208-2219
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4419-4433
No TPTP formula. May not be expressible in strict first order. Cars.kif 4248-4258
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4452-4464


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners