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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Putting
Putting(putting)
, Colocar, Curietherapy, Porre, Riss_glaciation, Saale_glaciation, Wolstonian_glaciation, X-ray_therapy, accessorial, accouter, accoutre, accumulate, actinotherapy, activated, add, add-on, addition, additive, adjoin, adorn, adorned, adscititious, aerate, aerated, aeration, air, air-condition, air-cool, air_out, airdrop, airmail, aligning, allocation, alluviation, alluvion, alphabetize, amass, amendment, ammonification, annotating, annotation, anointing, anointment, application, apply, appoint, appointed, apportioned, appose, apposition...

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


(documentation Putting ChineseLanguage "这是当把某些东西放到一个位置时的 Process Class。 注: 可以用 CaseRoledestination 来指明所要放置的位置。") Merge.kif 11198-11199
(documentation Putting EnglishLanguage "The Class of Processes where something is put in a location. Note that the location is specified with the CaseRole destination.") Merge.kif 11195-11197
(externalImage Putting "http://upload.wikimedia.org/wikipedia/commons/8/ 89/ Woman%2C_with_large_bow_in_her_hair%2C_putting_needle_on_record_on_phonograph.png") pictureList.kif 2984-2984 "http://upload.wikimedia.org/wikipedia/commons/8/89/ Woman%2C_with_large_bow_in_her_hair%2C_putting_needle_on_record_on_phonograph.png" is a URL depicting putting
(subclass Putting Transfer) Merge.kif 11194-11194 Putting is a subclass of transfer

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


(relatedInternalConcept Attaching Putting) Merge.kif 12148-12148 Attaching is internally related to putting
(relatedInternalConcept Increasing Putting) Merge.kif 10712-10712 Increasing is internally related to putting
(subclass Burying Putting) Mid-level-ontology.kif 15366-15366 Burying is a subclass of putting
(subclass Concealing Putting) Mid-level-ontology.kif 5723-5723 Concealing is a subclass of putting
(subclass Covering Putting) Merge.kif 11210-11210 Covering is a subclass of putting
(subclass DeployingWeaponOfMassDestruction Putting) WMD.kif 671-671 Deploying weapon of mass destruction is a subclass of putting
(subclass Diluting Putting) Mid-level-ontology.kif 17032-17032 Diluting is a subclass of putting
(subclass Dressing Putting) Mid-level-ontology.kif 5737-5737 Dressing is a subclass of putting
(subclass Entombing Putting) Mid-level-ontology.kif 15408-15408 Entombing is a subclass of putting
(subclass Inserting Putting) Merge.kif 11217-11217 Inserting is a subclass of putting
(subclass Installing Putting) Mid-level-ontology.kif 15287-15287 Installing is a subclass of putting
(subclass Lubricating Putting) Cars.kif 3006-3006 Lubricating is a subclass of putting
(subclass Planting Putting) Geography.kif 2506-2506 Planting is a subclass of putting
(subclass Siltation Putting) Geography.kif 2770-2770 Siltation is a subclass of putting
(subclass Wetting Putting) Merge.kif 12536-12536 Wetting is a subclass of putting
(termFormat ChineseLanguage Putting "放") chinese_format.kif 1122-1122 "放" is the printable form of putting in ChineseLanguage
(termFormat EnglishLanguage Putting "putting") english_format.kif 809-809 "putting" is the printable form of putting in english language
(termFormat FrenchLanguage Putting "mettre") french_format.kif 800-800 "mettre" is the printable form of putting in french language
(termFormat Hindi Putting "") terms-hindi.txt 332-332 """" is the printable form of putting in Hindi
(termFormat ItalianLanguage Putting "Porre") terms-it.txt 333-333 "Porre" is the printable form of putting in italian language
(termFormat PortugueseLanguage Putting "Colocar") portuguese_format.kif 752-752 "Colocar" is the printable form of putting in portuguese language
(termFormat cb Putting "pagbutang") terms-cb.txt 337-337 "pagbutang" is the printable form of putting in cb
(termFormat cz Putting "putting") terms-cz.txt 371-371 "putting" is the printable form of putting in cz
(termFormat tg Putting "paglagay") terms-tg.txt 336-336 "paglagay" is the printable form of putting in tg

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(biochemicalAgentAntidote Soman PyridostigmineBromide Putting) WMD.kif 576-576 Soman biochemical agent antidote pyridostigmine bromide for putting

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


(=>
    (and
        (instance ?PUT Putting)
        (destination ?PUT ?PLACE)
        (patient ?PUT ?OBJ))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?PUT))
            (not
                (located ?OBJ ?PLACE)))
        (holdsDuring
            (EndFn
                (WhenFn ?PUT))
            (located ?OBJ ?PLACE))))
Merge.kif 11201-11208

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


(=>
    (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
(=>
    (attribute ?H Valet)
    (hasPurpose ?H
        (and
            (instance ?VEHICLE Vehicle)
            (instance ?PUT Putting)
            (destination ?PUT ?PARK)
            (instance ?PARK ParkingRegion)
            (patient ?PUT ?VEHICLE)
            (agent ?PUT ?H))))
TransportDetail.kif 130-139
(=>
    (diseaseTreatment ?DISEASE Bacitracin ?PROCESS)
    (and
        (instance ?DISEASE BacterialDisease)
        (instance ?PROCESS Putting)))
WMD.kif 1223-1227
(=>
    (instance ?DA DisplayArtifact)
    (hasPurpose ?DA
        (exists (?P ?D ?I)
            (and
                (instance ?P Putting)
                (instance ?D Disseminating)
                (instance ?I ContentBearingObject)
                (patient ?P ?I)
                (patient ?D ?I)
                (destination ?P ?DA)))))
Mid-level-ontology.kif 3889-3899
(=>
    (instance ?DELIVER DeliveringWeaponOfMassDestruction)
    (exists (?PUTTING ?WEAPON1 ?WEAPON2)
        (and
            (instance ?PUTTING Putting)
            (instance ?WEAPON1 WeaponOfMassDestruction)
            (instance ?WEAPON2 Weapon)
            (not
                (instance ?WEAPON2 WeaponOfMassDestruction))
            (patient ?PUTTING ?WEAPON1)
            (destination ?PUTTING ?WEAPON2))))
WMD.kif 702-711
(=>
    (instance ?DISEASE VaccinatableDisease)
    (exists (?VACCINE)
        (and
            (instance ?VACCINE BiologicallyActiveSubstance)
            (=>
                (and
                    (instance ?PUT Putting)
                    (destination ?PUT ?HUMAN)
                    (instance ?HUMAN Human))
                (holdsDuring
                    (FutureFn
                        (WhenFn ?PUT))
                    (not
                        (attribute ?HUMAN ?DISEASE)))))))
WMD.kif 989-999
(=>
    (instance ?GF GreaseFitting)
    (hasPurpose ?GF
        (exists (?P ?G)
            (and
                (instance ?G Grease)
                (instance ?P Putting)
                (path ?P ?GF)
                (objectTransferred ?P ?G)))))
Cars.kif 3032-3040
(=>
    (instance ?GG GreaseGun)
    (hasPurpose ?GG
        (exists (?P ?G)
            (and
                (instance ?G Grease)
                (instance ?P Putting)
                (instrument ?P ?GG)
                (objectTransferred ?P ?G)))))
Cars.kif 3048-3056
(=>
    (instance ?SUB Substituting)
    (exists (?PUT ?REMOVE ?OBJ1 ?OBJ2 ?PLACE)
        (and
            (instance ?PUT Putting)
            (instance ?REMOVE Removing)
            (subProcess ?PUT ?SUB)
            (subProcess ?REMOVE ?SUB)
            (patient ?REMOVE ?OBJ1)
            (origin ?REMOVE ?PLACE)
            (patient ?PUT ?OBJ2)
            (destination ?PUT ?PLACE)
            (not
                (equal ?OBJ1 ?OBJ2)))))
Merge.kif 11253-11265
(=>
    (instance ?Slot ATMSlot)
    (exists (?Insert ?Card)
        (and
            (instance ?Insert Putting)
            (patient ?Insert ?Card)
            (instance ?Card BankCard)
            (destination ?Insert ?Slot))))
FinancialOntology.kif 3561-3568
(=>
    (instance ?TC TireChanger)
    (hasPurpose ?TC
        (exists (?P ?T ?R)
            (and
                (instance ?P Putting)
                (instance ?T Tire)
                (instance ?R WheelRim)
                (destination ?P ?R)
                (objectTransferred ?P ?T)
                (instrument ?P ?TC)))))
Cars.kif 4887-4897
(=>
    (instance ?X Easel)
    (hasPurpose ?X
        (exists (?OBJ ?PUT)
            (and
                (instance ?OBJ Artifact)
                (attribute ?OBJ Flat)
                (instance ?PUT Putting)
                (patient ?PUT ?OBJ)
                (destination ?PUT ?X)))))
Mid-level-ontology.kif 24429-24438
(=>
    (instance ?X Tripod)
    (hasPurpose ?X
        (exists (?OBJ ?PUT ?PROC)
            (and
                (instance ?OBJ Artifact)
                (instance ?PUT Putting)
                (patient ?PUT ?OBJ)
                (destination ?PUT ?X)
                (instance ?PROC Process)
                (instrument ?PROC ?OBJ)
                (before
                    (EndFn
                        (WhenFn ?PUT))
                    (BeginFn
                        (WhenFn ?PROC)))))))
Mid-level-ontology.kif 24409-24422


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