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 12325-12326
(subclass Keeping IntentionalProcess) Merge.kif 12324-12324 保存 是 有意图过程 的 subclass

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


(subclass Confining Keeping) Merge.kif 12350-12350 关押 是 保存 的 subclass
(subclass PreservingFood Keeping) Food.kif 184-184 PreservingFood 是 保存 的 subclass
(termFormat ChineseLanguage Keeping "保存") chinese_format.kif 1154-1154 PreservingFood 是 保存 的 subclass
(termFormat EnglishLanguage Keeping "keeping") english_format.kif 1525-1525 PreservingFood 是 保存 的 subclass
(termFormat FrenchLanguage Keeping "garder") french_format.kif 832-832 PreservingFood 是 保存 的 subclass
(termFormat Hindi Keeping "anurakshana") terms-hindi.txt 364-364 PreservingFood 是 保存 的 subclass
(termFormat ItalianLanguage Keeping "Trattenere") terms-it.txt 367-367 PreservingFood 是 保存 的 subclass
(termFormat JapaneseLanguage Keeping "保持") japanese_format.kif 2516-2516 PreservingFood 是 保存 的 subclass
(termFormat PortugueseLanguage Keeping "Manter") portuguese_format.kif 784-784 PreservingFood 是 保存 的 subclass
(termFormat cb Keeping "pagtago") terms-cb.txt 369-369 PreservingFood 是 保存 的 subclass
(termFormat cz Keeping "keeping") terms-cz.txt 403-403 PreservingFood 是 保存 的 subclass
(termFormat de Keeping "Halten") terms-de.txt 662-662 PreservingFood 是 保存 的 subclass
(termFormat ro Keeping "pãstrare") relations-ro.kif 853-853 PreservingFood 是 保存 的 subclass
(termFormat tg Keeping "itago") terms-tg.txt 368-368 PreservingFood 是 保存 的 subclass

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 12328-12338
(=>
    (and
        (instance ?KEEP Keeping)
        (patient ?KEEP ?OBJ))
    (exists (?PLACE)
        (forall (?TIME)
            (=>
                (temporalPart ?TIME
                    (WhenFn ?KEEP))
                (holdsDuring ?TIME
                    (located ?OBJ ?PLACE))))))		 Merge.kif 12340-12348

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 10890-10903
(=>
    (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 21609-21616
(=>
    (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 8215-8223
(=>
    (instance ?C ContainerChest)
    (hasPurpose ?C
        (exists (?KEEP)
            (and
                (instance ?KEEP Keeping)
                (instrument ?KEEP ?C)))))		 Mid-level-ontology.kif 4431-4437
(=>
    (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 1278-1288
(=>
    (instance ?DEVICE Holder)
    (capability Keeping instrument ?DEVICE))		 Mid-level-ontology.kif 4761-4763
(=>
    (instance ?POCKET Pocket)
    (capability Keeping instrument ?POCKET))		 Mid-level-ontology.kif 6364-6366
(=>
    (instance ?R Closet)
    (hasPurpose ?R
        (exists (?K ?O)
            (and
                (instance ?K Keeping)
                (patient ?K ?O)
                (located ?O ?R)))))		 Mid-level-ontology.kif 16880-16887
(=>
    (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 2273-2284
(=>
    (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 4336-4350
(=>
    (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 4369-4381


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