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 10591-10593
(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
(subclass Putting Transfer) Merge.kif 10589-10589 Putting is a subclass of transfer

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


(relatedInternalConcept Attaching Putting) Merge.kif 11444-11444 Attaching is internally related to putting
(relatedInternalConcept Increasing Putting) Merge.kif 10132-10132 Increasing is internally related to putting
(subclass Burying Putting) Mid-level-ontology.kif 15698-15698 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 10604-10604 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 17393-17393 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 15740-15740 Entombing is a subclass of putting
(subclass Inserting Putting) Merge.kif 10610-10610 Inserting is a subclass of putting
(subclass Installing Putting) Mid-level-ontology.kif 15589-15589 Installing is a subclass of putting
(subclass Lubricating Putting) Cars.kif 2969-2969 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 11789-11789 Wetting is a subclass of putting
(termFormat ChineseLanguage Putting "放") chinese_format.kif 1122-1122
(termFormat EnglishLanguage Putting "putting") english_format.kif 1466-1466

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 10595-10602

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 11281-11291
(=>
    (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 1240-1244
(=>
    (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 2995-3003
(=>
    (instance ?GG GreaseGun)
    (hasPurpose ?GG
        (exists (?P ?G)
            (and
                (instance ?G Grease)
                (instance ?P Putting)
                (instrument ?P ?GG)
                (objectTransferred ?P ?G)))))
Cars.kif 3011-3019
(=>
    (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 10644-10656
(=>
    (instance ?Slot ATMSlot)
    (exists (?Insert ?Card)
        (and
            (instance ?Insert Putting)
            (patient ?Insert ?Card)
            (instance ?Card BankCard)
            (destination ?Insert ?Slot))))
FinancialOntology.kif 3568-3575
(=>
    (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 4855-4865
(=>
    (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 24883-24892
(=>
    (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 24863-24876


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