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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Putting
Putting(置く)

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 11551-11553
(documentation Putting JapaneseLanguage "何かがある場所に置かれる Process の Class 。注： 場所は 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 2982-2982
(subclass Putting Transfer) Merge.kif 11549-11549 置く は 移動 の subclass では

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


(relatedInternalConcept Attaching Putting) Merge.kif 12499-12499 取付け は 置く に internally 関連して
(relatedInternalConcept Increasing Putting) Merge.kif 11032-11032 増加 は 置く に internally 関連して
(subclass Burying Putting) Mid-level-ontology.kif 19564-19564 Burying は 置く の subclass では
(subclass Concealing Putting) Mid-level-ontology.kif 6422-6422 Concealing は 置く の subclass では
(subclass Covering Putting) Merge.kif 11564-11564 覆い は 置く の subclass では
(subclass DeployingWeaponOfMassDestruction Putting) WMD.kif 676-676 DeployingWeaponOfMassDestruction は 置く の subclass では
(subclass Diluting Putting) Mid-level-ontology.kif 21185-21185 Diluting は 置く の subclass では
(subclass Dressing Putting) Mid-level-ontology.kif 6437-6437 Dressing は 置く の subclass では
(subclass Entombing Putting) Mid-level-ontology.kif 19608-19608 Entombing は 置く の subclass では
(subclass Inserting Putting) Merge.kif 11570-11570 Inserting は 置く の subclass では
(subclass Installing Putting) Mid-level-ontology.kif 19458-19458 Installing は 置く の subclass では
(subclass Lubricating Putting) Cars.kif 3053-3053 Lubricating は 置く の subclass では
(subclass Planting Putting) Geography.kif 2735-2735 Planting は 置く の subclass では
(subclass Siltation Putting) Geography.kif 3081-3081 Siltation は 置く の subclass では
(subclass Wetting Putting) Merge.kif 12901-12901 濡れ は 置く の subclass では
(termFormat ChineseLanguage Putting "放") chinese_format.kif 1122-1122 濡れ は 置く の subclass では
(termFormat EnglishLanguage Putting "putting") english_format.kif 1461-1461 濡れ は 置く の subclass では
(termFormat FrenchLanguage Putting "mettre") french_format.kif 800-800 濡れ は 置く の subclass では
(termFormat Hindi Putting "") terms-hindi.txt 332-332 濡れ は 置く の subclass では
(termFormat ItalianLanguage Putting "Porre") terms-it.txt 335-335 濡れ は 置く の subclass では
(termFormat JapaneseLanguage Putting "置く") japanese_format.kif 2484-2484 濡れ は 置く の subclass では
(termFormat PortugueseLanguage Putting "Colocar") portuguese_format.kif 752-752 濡れ は 置く の subclass では
(termFormat cb Putting "pagbutang") terms-cb.txt 337-337 濡れ は 置く の subclass では
(termFormat cz Putting "putting") terms-cz.txt 371-371 濡れ は 置く の subclass では

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 biochemicalAgentAntidote Soman, PyridostigmineBromide and 置く

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 4722-4737
(=>
    (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 11555-11562

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 12328-12338
(=>
    (and
        (instance ?PARK DisabledParking)
        (instance ?AGENT Human)
        (attribute ?AGENT ?ATTR)
        (instance ?ATTR Disability))
    (hasPurposeForAgent ?PARK
        (exists (?EVENT ?TD)
            (and
                (instance ?EVENT Putting)
                (playsRoleInEvent ?PARK destination ?EVENT)
                (playsRoleInEvent ?TD patient ?EVENT)
                (instance ?TD TransportationDevice))) ?AGENT))		 TransportDetail.kif 51-63
(=>
    (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 136-145
(=>
    (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 3799-3809
(=>
    (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 3079-3087
(=>
    (instance ?GG GreaseGun)
    (hasPurpose ?GG
        (exists (?P ?G)
            (and
                (instance ?G Grease)
                (instance ?P Putting)
                (instrument ?P ?GG)
                (objectTransferred ?P ?G)))))		 Cars.kif 3095-3103
(=>
    (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 4649-4658
(=>
    (instance ?PARK ParkingRegion)
    (hasPurpose ?PARK
        (exists (?EVENT ?TD)
            (and
                (instance ?EVENT Putting)
                (playsRoleInEvent ?PARK destination ?EVENT)
                (playsRoleInEvent ?TD patient ?EVENT)
                (instance ?TD TransportationDevice)))))		 TransportDetail.kif 36-44
(=>
    (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 4712-4720
(=>
    (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 11604-11616
(=>
    (instance ?Slot ATMSlot)
    (exists (?Insert ?Card)
        (and
            (instance ?Insert Putting)
            (patient ?Insert ?Card)
            (instance ?Card BankCard)
            (destination ?Insert ?Slot))))		 FinancialOntology.kif 3687-3694
(=>
    (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 4936-4946
(=>
    (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 28638-28647
(=>
    (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 28618-28631


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