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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Putting
Putting

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。 注： 可以用 CaseRole 的 destination 来指明所要放置的位置。") 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 10621-10623
(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 10619-10619 subclass Putting and Transfer

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


(relatedInternalConcept Attaching Putting) Merge.kif 11474-11474 relatedInternalConcept Attaching and Putting
(relatedInternalConcept Increasing Putting) Merge.kif 10165-10165 relatedInternalConcept Increasing and Putting
(subclass Burying Putting) Mid-level-ontology.kif 15723-15723 subclass Burying and Putting
(subclass Concealing Putting) Mid-level-ontology.kif 5733-5733 subclass Concealing and Putting
(subclass Covering Putting) Merge.kif 10634-10634 subclass Covering and Putting
(subclass DeployingWeaponOfMassDestruction Putting) WMD.kif 671-671 subclass DeployingWeaponOfMassDestruction and Putting
(subclass Diluting Putting) Mid-level-ontology.kif 17418-17418 subclass Diluting and Putting
(subclass Dressing Putting) Mid-level-ontology.kif 5747-5747 subclass Dressing and Putting
(subclass Entombing Putting) Mid-level-ontology.kif 15765-15765 subclass Entombing and Putting
(subclass Inserting Putting) Merge.kif 10640-10640 subclass Inserting and Putting
(subclass Installing Putting) Mid-level-ontology.kif 15614-15614 subclass Installing and Putting
(subclass Lubricating Putting) Cars.kif 2969-2969 subclass Lubricating and Putting
(subclass Planting Putting) Geography.kif 2518-2518 subclass Planting and Putting
(subclass Siltation Putting) Geography.kif 2782-2782 subclass Siltation and Putting
(subclass Wetting Putting) Merge.kif 11819-11819 subclass Wetting and 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 biochemicalAgentAntidote Soman, PyridostigmineBromide and 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 10625-10632

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 11311-11321
(=>
    (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 3895-3905
(=>
    (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 10674-10686
(=>
    (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 4856-4866
(=>
    (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 24908-24917
(=>
    (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 24888-24901


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