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 11561-11562
(subclass Keeping IntentionalProcess) Merge.kif 11560-11560

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


(subclass Confining Keeping) Merge.kif 11586-11586
(termFormat ChineseLanguage Keeping "保存") chinese_format.kif 1154-1154
(termFormat EnglishLanguage Keeping "keeping") english_format.kif 1530-1530

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 4290-4302
(=>
    (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 4304-4317
(=>
    (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 11564-11574
(=>
    (and
        (instance ?KEEP Keeping)
        (patient ?KEEP ?OBJ))
    (exists (?PLACE)
        (forall (?TIME)
            (=>
                (temporalPart ?TIME
                    (WhenFn ?KEEP))
                (holdsDuring ?TIME
                    (located ?OBJ ?PLACE))))))
Merge.kif 11576-11584

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


(=>
    (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 102-121
(=>
    (instance ?ANIMAL DomesticAnimal)
    (exists (?KEEP ?PERSON)
        (and
            (instance ?KEEP Keeping)
            (agent ?KEEP ?PERSON)
            (instance ?PERSON Human)
            (patient ?KEEP ?ANIMAL))))
Mid-level-ontology.kif 18576-18583
(=>
    (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 6607-6615
(=>
    (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 1150-1160
(=>
    (instance ?DEVICE Holder)
    (capability Keeping instrument ?DEVICE))
Mid-level-ontology.kif 4190-4192
(=>
    (instance ?POCKET Pocket)
    (capability Keeping instrument ?POCKET))
Mid-level-ontology.kif 5094-5096
(=>
    (instance ?R Closet)
    (hasPurpose ?R
        (exists (?K ?O)
            (and
                (instance ?K Keeping)
                (patient ?K ?O)
                (located ?O ?R)))))
Mid-level-ontology.kif 14222-14229
(=>
    (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 2222-2233
(=>
    (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 3822-3836
(=>
    (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 4278-4288
(=>
    (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 3855-3867


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