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 来指明所要放置的位置。") 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 10601-10603
(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 10599-10599

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


(relatedInternalConcept Attaching Putting) Merge.kif 11454-11454
(relatedInternalConcept Increasing Putting) Merge.kif 10142-10142
(subclass Burying Putting) Mid-level-ontology.kif 15750-15750
(subclass Concealing Putting) Mid-level-ontology.kif 5733-5733
(subclass Covering Putting) Merge.kif 10614-10614
(subclass DeployingWeaponOfMassDestruction Putting) WMD.kif 671-671
(subclass Diluting Putting) Mid-level-ontology.kif 17445-17445
(subclass Dressing Putting) Mid-level-ontology.kif 5747-5747
(subclass Entombing Putting) Mid-level-ontology.kif 15792-15792
(subclass Inserting Putting) Merge.kif 10620-10620
(subclass Installing Putting) Mid-level-ontology.kif 15641-15641
(subclass Lubricating Putting) Cars.kif 2969-2969
(subclass Planting Putting) Geography.kif 2518-2518
(subclass Siltation Putting) Geography.kif 2782-2782
(subclass Wetting Putting) Merge.kif 11799-11799
(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

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 10605-10612

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 11291-11301
(=>
    (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 10654-10666
(=>
    (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 24935-24944
(=>
    (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 24915-24928


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