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...

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 10874-10876
(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 10872-10872 Putting is a subclass of transfer

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


(relatedInternalConcept Attaching Putting) Merge.kif 11727-11727 Attaching is internally related to putting
(relatedInternalConcept Increasing Putting) Merge.kif 10418-10418 Increasing is internally related to putting
(subclass Burying Putting) Mid-level-ontology.kif 16718-16718 Burying is a subclass of putting
(subclass Concealing Putting) Mid-level-ontology.kif 5152-5152 Concealing is a subclass of putting
(subclass Covering Putting) Merge.kif 10887-10887 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 18296-18296 Diluting is a subclass of putting
(subclass Dressing Putting) Mid-level-ontology.kif 5167-5167 Dressing is a subclass of putting
(subclass Entombing Putting) Mid-level-ontology.kif 16762-16762 Entombing is a subclass of putting
(subclass Inserting Putting) Merge.kif 10893-10893 Inserting is a subclass of putting
(subclass Installing Putting) Mid-level-ontology.kif 16612-16612 Installing is a subclass of putting
(subclass Lubricating Putting) Cars.kif 2994-2994 Lubricating is a subclass of putting
(subclass Planting Putting) Geography.kif 2539-2539 Planting is a subclass of putting
(subclass Siltation Putting) Geography.kif 2804-2804 Siltation is a subclass of putting
(subclass Wetting Putting) Merge.kif 12113-12113 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 10878-10885

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 11564-11574
(=>
    (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 1307-1311
(=>
    (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 3290-3300
(=>
    (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 Vaccine)
            (=>
                (and
                    (instance ?PUT Putting)
                    (destination ?PUT ?HUMAN)
                    (instance ?HUMAN Human))
                (modalAttribute
                    (holdsDuring
                        (FutureFn
                            (WhenFn ?PUT))
                        (not
                            (attribute ?HUMAN ?DISEASE))) Likely)))))
WMD.kif 1031-1047
(=>
    (instance ?GF GreaseFitting)
    (hasPurpose ?GF
        (exists (?P ?G)
            (and
                (instance ?G Grease)
                (instance ?P Putting)
                (path ?P ?GF)
                (objectTransferred ?P ?G)))))
Cars.kif 3020-3028
(=>
    (instance ?GG GreaseGun)
    (hasPurpose ?GG
        (exists (?P ?G)
            (and
                (instance ?G Grease)
                (instance ?P Putting)
                (instrument ?P ?GG)
                (objectTransferred ?P ?G)))))
Cars.kif 3036-3044
(=>
    (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 10927-10939
(=>
    (instance ?Slot ATMSlot)
    (exists (?Insert ?Card)
        (and
            (instance ?Insert Putting)
            (patient ?Insert ?Card)
            (instance ?Card BankCard)
            (destination ?Insert ?Slot))))
FinancialOntology.kif 3631-3638
(=>
    (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 4885-4895
(=>
    (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 25408-25417
(=>
    (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 25388-25401


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