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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Keeping
Keeping(保持)

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


(documentation Keeping ChineseLanguage "这是一组当 agent 把某些东西放到一个特定位置上经过一段 较长的时间。") chinese_format.kif 3141-3142
(documentation Keeping EnglishLanguage "The Class of Processes where the agent keeps something in a particular location for an extended period of time.") Merge.kif 12231-12232
(subclass Keeping IntentionalProcess) Merge.kif 12230-12230 保持意図的なプロセスsubclass では %n

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


(subclass Confining Keeping) Merge.kif 12256-12256 閉じ込め保持subclass では %n
(subclass PreservingFood Keeping) Food.kif 184-184 PreservingFood保持subclass では %n
(termFormat ChineseLanguage Keeping "保存") chinese_format.kif 1154-1154 PreservingFood保持subclass では %n
(termFormat EnglishLanguage Keeping "keeping") english_format.kif 1525-1525 PreservingFood保持subclass では %n
(termFormat FrenchLanguage Keeping "garder") french_format.kif 832-832 PreservingFood保持subclass では %n
(termFormat Hindi Keeping "anurakshana") terms-hindi.txt 364-364 PreservingFood保持subclass では %n
(termFormat ItalianLanguage Keeping "Trattenere") terms-it.txt 367-367 PreservingFood保持subclass では %n
(termFormat JapaneseLanguage Keeping "保持") japanese_format.kif 2516-2516 PreservingFood保持subclass では %n
(termFormat PortugueseLanguage Keeping "Manter") portuguese_format.kif 784-784 PreservingFood保持subclass では %n
(termFormat cb Keeping "pagtago") terms-cb.txt 369-369 PreservingFood保持subclass では %n
(termFormat cz Keeping "keeping") terms-cz.txt 403-403 PreservingFood保持subclass では %n
(termFormat ro Keeping "pãstrare") relations-ro.kif 853-853 PreservingFood保持subclass では %n
(termFormat tg Keeping "itago") terms-tg.txt 368-368 PreservingFood保持subclass では %n

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 4348-4360
(=>
    (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 4362-4375
(=>
    (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 12234-12244
(=>
    (and
        (instance ?KEEP Keeping)
        (patient ?KEEP ?OBJ))
    (exists (?PLACE)
        (forall (?TIME)
            (=>
                (temporalPart ?TIME
                    (WhenFn ?KEEP))
                (holdsDuring ?TIME
                    (located ?OBJ ?PLACE))))))
Merge.kif 12246-12254

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


(=>
    (and
        (instance ?P Plant)
        (part ?TIS ?P))
    (exists (?K ?W ?CLASS)
        (and
            (instance ?K ?CLASS)
            (subclass ?CLASS Keeping)
            (instance ?W FreshWater)
            (patient ?K ?W)
            (capability ?CLASS instrument ?TIS)
            (or
                (instance ?TIS PlantLeaf)
                (instance ?TIS PlantStem)))))
Mid-level-ontology.kif 9779-9792
(=>
    (and
        (possesses ?BUS ?PARK)
        (instance ?BUS CommercialAgent)
        (instance ?PARK ParkingLot)
        (instance ?BLDG Building)
        (located ?BUS ?BLDG)
        (customer ?BUS ?CUST)
        (holdsDuring ?T
            (located ?CUST ?BLDG))
        (instance ?DRIVE Driving)
        (patient ?DRIVE ?VEHICLE)
        (agent ?DRIVE ?CUST)
        (destination ?DRIVE ?BLDG))
    (holdsDuring ?T
        (confersRight
            (and
                (instance ?PUT Keeping)
                (destination ?PUT ?PARK)
                (patient ?PUT ?VEHICLE)) ?BUS ?CUST)))
TransportDetail.kif 106-125
(=>
    (instance ?AA AirportApron)
    (hasPurpose ?AA
        (exists (?P ?K)
            (and
                (instance ?P Airplane)
                (instance ?K Keeping)
                (patient ?K ?P)
                (destination ?K ?AA)))))
Transportation.kif 1282-1290
(=>
    (instance ?ANIMAL DomesticAnimal)
    (exists (?KEEP ?PERSON)
        (and
            (instance ?KEEP Keeping)
            (agent ?KEEP ?PERSON)
            (instance ?PERSON Human)
            (patient ?KEEP ?ANIMAL))))
Mid-level-ontology.kif 20312-20319
(=>
    (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 7272-7280
(=>
    (instance ?C ContainerChest)
    (hasPurpose ?C
        (exists (?KEEP)
            (and
                (instance ?KEEP Keeping)
                (instrument ?KEEP ?C)))))
Mid-level-ontology.kif 3981-3987
(=>
    (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 1205-1215
(=>
    (instance ?DEVICE Holder)
    (capability Keeping instrument ?DEVICE))
Mid-level-ontology.kif 4311-4313
(=>
    (instance ?POCKET Pocket)
    (capability Keeping instrument ?POCKET))
Mid-level-ontology.kif 5421-5423
(=>
    (instance ?R Closet)
    (hasPurpose ?R
        (exists (?K ?O)
            (and
                (instance ?K Keeping)
                (patient ?K ?O)
                (located ?O ?R)))))
Mid-level-ontology.kif 15757-15764
(=>
    (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 2262-2273
(=>
    (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 3886-3900
(=>
    (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 4336-4346
(=>
    (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 3919-3931


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