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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Keeping

Sigma KEE - Keeping
Keepingإِيْداع, توْدِيْع, إِيداع, تخْزِين, خَزْن, إِحْتِفاظ, حِفْظ, أَكْل, أُكْل, طَعام, غِذَاء, مَعَاش, مَعِيشَة, مُوْنَة, قُوْت, سُفْرَة, زَاد, مؤُونة, مخْزُون, اِضْطجع, اِرْتاح, اسْتراح, أزال, استجم, استراح, استند, بقي, توقف, طمأن, علق, علق آماله على, علق الجلسات, هدأ, ضيّق, قيّد, اختصر, تخم حدود, حدد, حصر, قصر, قيد, نقص, شلّ حركة, أمْسك, أوْقف, عاق, علِق, حصر, أسر, اِعْتقل, اِحْتجز, حبس, حجز, قيّد, أبقى, أمسك, احتفظ, احتوى, استمر, اعتقل, حبس النفس, حرم, حصر, حمل, دعم, شغل, صمد, عقد, قاوم, قبض على, قمع, قيد, كبت, كبح, كتم, كتمان, لزم, مد يده, ملك, ...

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


(documentation Keeping ChineseLanguage "这是一组当 agent 把某些东西放到一个特定位置上经过一段 较长的时间。") Merge.kif 11962-11963
(documentation Keeping EnglishLanguage "The Class of Processes where the agent keeps something in a particular location for an extended period of time.") Merge.kif 11960-11961
(subclass Keeping IntentionalProcess) Merge.kif 11959-11959

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


(subclass Confining Keeping) Merge.kif 11987-11987
(termFormat ChineseLanguage Keeping "保存") chinese_format.kif 1154-1154
(termFormat EnglishLanguage Keeping "keeping") english_format.kif 841-841
(termFormat FrenchLanguage Keeping "garder") french_format.kif 832-832
(termFormat Hindi Keeping "anurakshana") terms-hindi.txt 364-364
(termFormat ItalianLanguage Keeping "Trattenere") terms-it.txt 365-365
(termFormat PortugueseLanguage Keeping "Manter") portuguese_format.kif 784-784
(termFormat cb Keeping "pagtago") terms-cb.txt 369-369
(termFormat cz Keeping "keeping") terms-cz.txt 403-403
(termFormat tg Keeping "itago") terms-tg.txt 368-368

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


(=>
    (and
        (instance ?HR Reel)
        (instance ?K Keeping)
        (instance ?H CorpuscularObject)
        (attribute ?H LongAndThin)
        (attribute ?H Pliable)
        (instrument ?K ?HR)
        (patient ?K ?H))
    (exists (?P)
        (and
            (part ?P ?H)
            (meetsSpatially ?P ?HR))))
Cars.kif 4292-4304
(=>
    (and
        (instance ?HR Reel)
        (instance ?K Keeping)
        (instance ?H CorpuscularObject)
        (attribute ?H LongAndThin)
        (attribute ?H Pliable)
        (instrument ?K ?HR)
        (patient ?K ?H))
    (exists (?R)
        (and
            (instance ?R Rotating)
            (patient ?R ?HR)
            (subProcess ?R ?K))))
Cars.kif 4306-4319
(=>
    (and
        (instance ?KEEP Keeping)
        (agent ?KEEP ?AGENT)
        (patient ?KEEP ?OBJ))
    (exists (?PUT)
        (and
            (instance ?PUT Putting)
            (agent ?PUT ?AGENT)
            (patient ?PUT ?OBJ)
            (earlier
                (WhenFn ?PUT)
                (WhenFn ?KEEP)))))
Merge.kif 11965-11975
(=>
    (and
        (instance ?KEEP Keeping)
        (patient ?KEEP ?OBJ))
    (exists (?PLACE)
        (forall (?TIME)
            (=>
                (temporalPart ?TIME
                    (WhenFn ?KEEP))
                (holdsDuring ?TIME
                    (located ?OBJ ?PLACE))))))
Merge.kif 11977-11985

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


(=>
    (and
        (possesses ?BUS ?PARK)
        (instance ?BUS CommercialAgent)
        (instance ?PARK ParkingLot)
        (instance ?BLDG Building)
        (located ?BUS ?BLDG)
        (customer ?BUS ?CUST)
        (instance ?DRIVE Driving)
        (patient ?DRIVE ?VEHICLE)
        (agent ?DRIVE ?CUST)
        (destination ?DRIVE ?BLDG))
    (holdsDuring
        (located ?CUST ?BLDG)
        (confersRight
            (and
                (instance ?PUT Keeping)
                (destination ?PUT ?PARK)
                (patient ?PUT ?VEHICLE)) ?BUS ?CUST)))
TransportDetail.kif 102-119
(=>
    (instance ?ANIMAL DomesticAnimal)
    (exists (?KEEP ?PERSON)
        (and
            (instance ?KEEP Keeping)
            (agent ?KEEP ?PERSON)
            (instance ?PERSON Human)
            (patient ?KEEP ?ANIMAL))))
Mid-level-ontology.kif 17419-17426
(=>
    (instance ?B Warehouse)
    (hasPurpose ?B
        (exists (?K ?P)
            (and
                (instance ?K Keeping)
                (patient ?K ?P)
                (instance ?P Product)
                (eventLocated ?K ?B)))))
Mid-level-ontology.kif 6708-6716
(=>
    (instance ?CASE CartridgeCase)
    (exists (?CARTRIDGE ?BULLET ?K)
        (and
            (instance ?CARTRIDGE BulletCartridge)
            (instance ?BULLET Bullet)
            (instance ?K Keeping)
            (properPart ?CASE ?CARTRIDGE)
            (properPart ?BULLET ?CARTRIDGE)
            (agent ?K ?CASE)
            (patient ?K ?BULLET))))
Mid-level-ontology.kif 1601-1611
(=>
    (instance ?DEVICE Holder)
    (capability Keeping instrument ?DEVICE))
Mid-level-ontology.kif 4788-4790
(=>
    (instance ?POCKET Pocket)
    (capability Keeping instrument ?POCKET))
Mid-level-ontology.kif 5668-5670
(=>
    (instance ?R Closet)
    (hasPurpose ?R
        (exists (?K ?O)
            (and
                (instance ?K Keeping)
                (patient ?K ?O)
                (located ?O ?R)))))
Mid-level-ontology.kif 12930-12937
(=>
    (instance ?SVC SafetyDepositService)
    (exists (?SAFE ?KEEP ?OBJ ?AGENT)
        (and
            (serviceProvider ?SVC ?AGENT)
            (instance ?SAFE SafeContainer)
            (instance ?KEEP Keeping)
            (located ?KEEP ?SAFE)
            (possesses ?AGENT ?SAFE)
            (patient ?KEEP ?OBJ)
            (subProcess ?KEEP ?SVC)
            (not
                (possesses ?AGENT ?OBJ)))))
Hotel.kif 2203-2214
(=>
    (instance ?X MurphyBed)
    (exists (?STORAGE)
        (and
            (instance ?STORAGE Compartment)
            (meetsSpatially ?STORAGE ?X)
            (hasPurpose ?STORAGE
                (exists (?K)
                    (and
                        (instance ?K Keeping)
                        (patient ?K ?X)
                        (destination ?K ?STORAGE)
                        (holdsDuring
                            (WhenFn ?K)
                            (attribute ?X Vertical))))))))
Mid-level-ontology.kif 4420-4434
(=>
    (instance ?X Reel)
    (hasPurpose ?X
        (exists (?K ?H)
            (and
                (instance ?K Keeping)
                (instance ?H CorpuscularObject)
                (attribute ?H LongAndThin)
                (attribute ?H Pliable)
                (instrument ?K ?X)
                (patient ?K ?H)))))
Cars.kif 4280-4290
(=>
    (instance ?X SofaBed)
    (exists (?SOFA ?STORAGE)
        (and
            (instance ?STORAGE Compartment)
            (part ?STORAGE ?SOFA)
            (instance ?SOFA Sofa)
            (hasPurpose ?STORAGE
                (exists (?K)
                    (and
                        (instance ?K Keeping)
                        (patient ?K ?X)
                        (destination ?K ?STORAGE)))))))
Mid-level-ontology.kif 4453-4465


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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