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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Putting
Putting(putting)
Curietherapy, 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, archive, arm, armament...

VerbNet: obtain-13.5.2|collect, mix-22.1|add, fill-9.8|ornament, other_cos-45.4|air, other_cos-45.4|air, other_cos-45.4|air, send-11.1|airmail, obtain-13.5.2|collect, pocket-9.10|archive, equip-13.4.2|arm, equip-13.4.2|armor, equip-13.4.2|armor, butter-9.9|aromatize, butter-9.9|aromatize, put-9.1|arrange, fill-9.8|clog, pocket-9.10|bag, put-9.1|deposit, fill-9.8|ornament, fill-9.8|deck, fill-9.8|deck, fill-9.8|gild, fill-9.8|encrust, pocket-9.10|billet, pocket-9.10|bin, fill-9.8|edge, pocket-9.10|bottle, shake-22.3|package, build-26.1|embroider, shake-22.3|bundle, shake-22.3|bundle, lodge-46|bunk, equip-13.4.2|burden, equip-13.4.2|burden, put-9.1|bury, pocket-9.10|billet, fill-9.8|clog, fill-9.8|clog, shake-22.3|lump, fill-9.8|clog, fill-9.8|clog, pocket-9.10|cloister, fill-9.8|clutter, fill-9.8|clutter, butter-9.9|coal, shake-22.3|collate, obtain-13.5.2|collect, obtain-13.5.2|collect, braid-41.2.2|condition, fill-9.8|clog, ...


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


(documentation Putting ChineseLanguage "这是当把某些东西放到一个位置时的 Process Class。 注: 可以用 CaseRoledestination 来指明所要放置的位置。") chinese_format.kif 3035-3036
(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 10500-10502
(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 10498-10498 Putting is a subclass of transfer

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


(relatedInternalConcept Attaching Putting) Merge.kif 11353-11353 Attaching is internally related to putting
(relatedInternalConcept Increasing Putting) Merge.kif 10041-10041 Increasing is internally related to putting
(subclass Burying Putting) Mid-level-ontology.kif 15697-15697 Burying is a subclass of putting
(subclass Concealing Putting) Mid-level-ontology.kif 5727-5727 Concealing is a subclass of putting
(subclass Covering Putting) Merge.kif 10513-10513 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 17392-17392 Diluting is a subclass of putting
(subclass Dressing Putting) Mid-level-ontology.kif 5741-5741 Dressing is a subclass of putting
(subclass Entombing Putting) Mid-level-ontology.kif 15739-15739 Entombing is a subclass of putting
(subclass Inserting Putting) Merge.kif 10519-10519 Inserting is a subclass of putting
(subclass Installing Putting) Mid-level-ontology.kif 15588-15588 Installing is a subclass of putting
(subclass Lubricating Putting) Cars.kif 2968-2968 Lubricating is a subclass of putting
(subclass Planting Putting) Geography.kif 2518-2518 Planting is a subclass of putting
(subclass Siltation Putting) Geography.kif 2782-2782 Siltation is a subclass of putting
(subclass Wetting Putting) Merge.kif 11698-11698 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 1466-1466 "putting" is the printable form of putting in english language

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 10504-10511

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 11190-11200
(=>
    (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 132-141
(=>
    (diseaseTreatment ?DISEASE Bacitracin ?PROCESS)
    (and
        (instance ?DISEASE BacterialDisease)
        (instance ?PROCESS Putting)))
WMD.kif 1234-1238
(=>
    (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)
            (subProcess ?PUTTING ?DELIVER)
            (instance ?WEAPON1 WeaponOfMassDestruction)
            (instance ?WEAPON2 Weapon)
            (not
                (instance ?WEAPON2 WeaponOfMassDestruction))
            (patient ?PUTTING ?WEAPON1)
            (destination ?PUTTING ?WEAPON2))))
WMD.kif 702-713
(=>
    (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 998-1008
(=>
    (instance ?GF GreaseFitting)
    (hasPurpose ?GF
        (exists (?P ?G)
            (and
                (instance ?G Grease)
                (instance ?P Putting)
                (path ?P ?GF)
                (objectTransferred ?P ?G)))))
Cars.kif 2994-3002
(=>
    (instance ?GG GreaseGun)
    (hasPurpose ?GG
        (exists (?P ?G)
            (and
                (instance ?G Grease)
                (instance ?P Putting)
                (instrument ?P ?GG)
                (objectTransferred ?P ?G)))))
Cars.kif 3010-3018
(=>
    (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 10553-10565
(=>
    (instance ?Slot ATMSlot)
    (exists (?Insert ?Card)
        (and
            (instance ?Insert Putting)
            (patient ?Insert ?Card)
            (instance ?Card BankCard)
            (destination ?Insert ?Slot))))
FinancialOntology.kif 3567-3574
(=>
    (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 4854-4864
(=>
    (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 24871-24880
(=>
    (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 24851-24864


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