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。 注: 可以用 CaseRoledestination 来指明所要放置的位置。") Merge.kif 15531-15532
(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 15527-15529
(documentation Putting JapaneseLanguage "何かがある場所に置かれる ProcessClass 。注: 場所は CaseRole destination で指定されている。") Merge.kif 15534-15535
(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 15525-15525

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


(relatedInternalConcept Attaching Putting) Merge.kif 16649-16649
(relatedInternalConcept Increasing Putting) Merge.kif 14891-14891
(subclass Burying Putting) Mid-level-ontology.kif 15698-15698
(subclass Concealing Putting) Mid-level-ontology.kif 5728-5728
(subclass Covering Putting) Merge.kif 15546-15546
(subclass DeployingWeaponOfMassDestruction Putting) WMD.kif 671-671
(subclass Diluting Putting) Mid-level-ontology.kif 17392-17392
(subclass Dressing Putting) Mid-level-ontology.kif 5742-5742
(subclass Entombing Putting) Mid-level-ontology.kif 15740-15740
(subclass Inserting Putting) Merge.kif 15558-15558
(subclass Installing Putting) Mid-level-ontology.kif 15589-15589
(subclass Lubricating Putting) Cars.kif 2965-2965
(subclass Planting Putting) Geography.kif 2506-2506
(subclass Siltation Putting) Geography.kif 2770-2770
(subclass Wetting Putting) Merge.kif 17044-17044
(termFormat ChineseLanguage Putting "放") chinese_format.kif 1122-1122
(termFormat EnglishLanguage Putting "putting") english_format.kif 2075-2075
(termFormat JapaneseLanguage Putting "置く") english_format.kif 2076-2076

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


(biochemicalAgentAntidote Soman PyridostigmineBromide Putting) WMD.kif 576-576

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 15537-15544

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 16466-16476
(=>
    (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 3893-3903
(=>
    (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 2991-2999
(=>
    (instance ?GG GreaseGun)
    (hasPurpose ?GG
        (exists (?P ?G)
            (and
                (instance ?G Grease)
                (instance ?P Putting)
                (instrument ?P ?GG)
                (objectTransferred ?P ?G)))))
Cars.kif 3007-3015
(=>
    (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 15612-15624
(=>
    (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 4846-4856
(=>
    (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