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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Putting

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 11401-11403
(documentation Putting JapaneseLanguage "何かがある場所に置かれる ProcessClass 。注: 場所は CaseRole destination で指定されている。") japanese_format.kif 1803-1804
(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 2983-2983
(subclass Putting Transfer) Merge.kif 11399-11399 Putting is a subclass of transfer

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


(relatedInternalConcept Attaching Putting) Merge.kif 12349-12349 Attaching is internally related to putting
(relatedInternalConcept Increasing Putting) Merge.kif 10894-10894 Increasing is internally related to putting
(subclass Burying Putting) Mid-level-ontology.kif 17993-17993 Burying is a subclass of putting
(subclass Concealing Putting) Mid-level-ontology.kif 5485-5485 Concealing is a subclass of putting
(subclass Covering Putting) Merge.kif 11414-11414 Covering is a subclass of putting
(subclass DeployingWeaponOfMassDestruction Putting) WMD.kif 676-676 Deploying weapon of mass destruction is a subclass of putting
(subclass Diluting Putting) Mid-level-ontology.kif 19614-19614 Diluting is a subclass of putting
(subclass Dressing Putting) Mid-level-ontology.kif 5500-5500 Dressing is a subclass of putting
(subclass Entombing Putting) Mid-level-ontology.kif 18037-18037 Entombing is a subclass of putting
(subclass Inserting Putting) Merge.kif 11420-11420 Inserting is a subclass of putting
(subclass Installing Putting) Mid-level-ontology.kif 17887-17887 Installing is a subclass of putting
(subclass Lubricating Putting) Cars.kif 2994-2994 Lubricating is a subclass of putting
(subclass Planting Putting) Geography.kif 2577-2577 Planting is a subclass of putting
(subclass Siltation Putting) Geography.kif 2923-2923 Siltation is a subclass of putting
(subclass Wetting Putting) Merge.kif 12747-12747 Wetting is a subclass of putting
(termFormat ChineseLanguage Putting "放") chinese_format.kif 1122-1122
(termFormat EnglishLanguage Putting "putting") english_format.kif 1461-1461
(termFormat FrenchLanguage Putting "mettre") french_format.kif 800-800
(termFormat Hindi Putting "") terms-hindi.txt 332-332
(termFormat ItalianLanguage Putting "Porre") terms-it.txt 335-335
(termFormat JapaneseLanguage Putting "置く") japanese_format.kif 2484-2484
(termFormat PortugueseLanguage Putting "Colocar") portuguese_format.kif 752-752
(termFormat cb Putting "pagbutang") terms-cb.txt 337-337
(termFormat cz Putting "putting") terms-cz.txt 371-371

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(biochemicalAgentAntidote Soman PyridostigmineBromide Putting) WMD.kif 581-581 Soman biochemical agent antidote pyridostigmine bromide for putting

antecedent
-------------------------


(=>
    (and
        (instance ?P Putting)
        (patient ?P ?S)
        (instance ?S Spice)
        (destination ?P ?F)
        (instance ?F PreparedFood))
    (exists (?C ?A)
        (and
            (instance ?C InternalChange)
            (patient ?C ?F)
            (result ?C ?A)
            (attribute ?F ?A)
            (or
                (instance ?A FlavourAttribute)
                (instance ?A ColorAttribute)))))
Economy.kif 4384-4399
(=>
    (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 11405-11412

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 12178-12188
(=>
    (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
(=>
    (diseaseMedicine ?DISEASE Bacitracin ?PROCESS)
    (and
        (instance ?DISEASE BacterialDisease)
        (subclass ?PROCESS Putting)))
WMD.kif 1322-1326
(=>
    (instance ?C CuringFood)
    (exists (?F ?P ?S)
        (and
            (instance ?F Food)
            (patient ?C ?F)
            (instance ?P Putting)
            (subProcess ?P ?C)
            (instance ?S SodiumChloride)
            (patient ?P ?S)
            (destination ?P ?F))))
Food.kif 84-94
(=>
    (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 3356-3366
(=>
    (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 707-718
(=>
    (instance ?DISEASE VaccinatableDisease)
    (exists (?VACCINE ?HUMAN ?PUT)
        (and
            (instance ?VACCINE Vaccine)
            (instance ?PUT Putting)
            (destination ?PUT ?HUMAN)
            (instance ?HUMAN Human)
            (modalAttribute
                (holdsDuring
                    (FutureFn
                        (WhenFn ?PUT))
                    (not
                        (attribute ?HUMAN ?DISEASE))) Likely))))
WMD.kif 1046-1059
(=>
    (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 ?OT OrganTransplant)
    (exists (?H ?O ?P)
        (and
            (instance ?H Animal)
            (instance ?O Organ)
            (instance ?P Putting)
            (subProcess ?P ?OT)
            (objectTransferred ?P ?O)
            (destination ?P ?H))))
Medicine.kif 4642-4651
(=>
    (instance ?S SparklingWater)
    (exists (?P ?W ?CD)
        (and
            (instance ?P Putting)
            (instance ?W DrinkingWater)
            (destination ?P ?CD)
            (instance ?CD CarbonDioxide)
            (result ?P ?S)
            (part ?CD ?S))))
Food.kif 226-235
(=>
    (instance ?S Spice)
    (hasPurpose ?S
        (exists (?PUT ?F)
            (and
                (instance ?PUT Putting)
                (patient ?PUT ?S)
                (destination ?PUT ?F)
                (instance ?F PreparedFood)))))
Economy.kif 4374-4382
(=>
    (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 11454-11466
(=>
    (instance ?Slot ATMSlot)
    (exists (?Insert ?Card)
        (and
            (instance ?Insert Putting)
            (patient ?Insert ?Card)
            (instance ?Card BankCard)
            (destination ?Insert ?Slot))))
FinancialOntology.kif 3669-3676
(=>
    (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 4875-4885
(=>
    (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 26739-26748
(=>
    (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 26719-26732


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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