Putting - Sigma Knowledge base Browser

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 11423-11425
(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 2983-2983
(subclass Putting Transfer)	Merge.kif 11421-11421	Putting is a subclass of transfer

appearance as argument number 2

(relatedInternalConcept Attaching Putting)	Merge.kif 12371-12371	Attaching is internally related to putting
(relatedInternalConcept Increasing Putting)	Merge.kif 10916-10916	Increasing is internally related to putting
(subclass Burying Putting)	Mid-level-ontology.kif 17992-17992	Burying is a subclass of putting
(subclass Concealing Putting)	Mid-level-ontology.kif 5484-5484	Concealing is a subclass of putting
(subclass Covering Putting)	Merge.kif 11436-11436	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 19613-19613	Diluting is a subclass of putting
(subclass Dressing Putting)	Mid-level-ontology.kif 5499-5499	Dressing is a subclass of putting
(subclass Entombing Putting)	Mid-level-ontology.kif 18036-18036	Entombing is a subclass of putting
(subclass Inserting Putting)	Merge.kif 11442-11442	Inserting is a subclass of putting
(subclass Installing Putting)	Mid-level-ontology.kif 17886-17886	Installing is a subclass of putting
(subclass Lubricating Putting)	Cars.kif 3000-3000	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 12769-12769	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	If a process is an instance of putting and an entity is a patient of the process and the entity is an instance of spice and the process ends up at an object and the object is an instance of prepared food, then there exist another process and an attribute such that the other process is an instance of internal change and the object is a patient of the other process and the attribute is a result of the other process and the attribute is an attribute of the object and the attribute is an instance of flavour attribute or the attribute is an instance of color attribute
(=> (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 11427-11434	If a process is an instance of putting and the process ends up at an entity and another entity is a patient of the process, then the other entity is not located at the entity holds during the beginning of the time of existence of the process and the other entity is located at the entity holds during the end of the time of existence of the process

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 12200-12210	If a process is an instance of keeping and an agent is an agent of the process and an entity is a patient of the process, then there exists another process such that the other process is an instance of putting and the agent is an agent of the other process and the entity is a patient of the other process and the time of existence of the other process happens earlier than the time of existence of the process
(=> (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	If valet is an attribute of an object, then the object has the purpose an entity is an instance of vehicle and another entity is an instance of putting and the other entity ends up at a third entity and the third entity is an instance of parking area and the entity is a patient of the other entity and the object is an agent of the other entity
(=> (diseaseMedicine ?DISEASE Bacitracin ?PROCESS) (and (instance ?DISEASE BacterialDisease) (subclass ?PROCESS Putting)))	WMD.kif 1322-1326	If a disease or syndrome is disease treatment bacitracin for a kind of process, then the disease or syndrome is an instance of bacterial disease and a kind of process is a subclass of putting
(=> (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	If a process is an instance of curing food, then there exist an entity, another process and another entity such that the entity is an instance of food and the entity is a patient of the process and the other process is an instance of putting and the other process is a subprocess of the process and the other entity is an instance of salt and the other entity is a patient of the other process and the other process ends up at the entity
(=> (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	If a physical is an instance of display artifact, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of putting and the other entity is an instance of disseminating and the third entity is an instance of content bearing object and the third entity is a patient of the entity and the third entity is a patient of the other entity and the entity ends up at the physical
(=> (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	If a process is an instance of delivering weapon of mass destruction, then there exist another process, an entity and another entity such that the other process is an instance of putting and the other process is a subprocess of the process and the entity is an instance of weapon of mass destruction and the other entity is an instance of weapon and the other entity is not an instance of weapon of mass destruction and the entity is a patient of the other process and the other process ends up at the other entity
(=> (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	If an entity is an instance of vaccinatable disease, then there exist another entity, a third entity and a process such that the other entity is an instance of vaccine and the process is an instance of putting and the process ends up at the third entity and the third entity is an instance of human and the statement the entity is not an attribute of the third entity holds during after the time of existence of the process has the modal force of likely
(=> (instance ?GF GreaseFitting) (hasPurpose ?GF (exists (?P ?G) (and (instance ?G Grease) (instance ?P Putting) (path ?P ?GF) (objectTransferred ?P ?G)))))	Cars.kif 3026-3034	If a physical is an instance of grease fitting, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of grease and the entity is an instance of putting and the physical is path along which the entity occurs and the object transferred in the entity is the other entity
(=> (instance ?GG GreaseGun) (hasPurpose ?GG (exists (?P ?G) (and (instance ?G Grease) (instance ?P Putting) (instrument ?P ?GG) (objectTransferred ?P ?G)))))	Cars.kif 3042-3050	If a physical is an instance of grease gun, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of grease and the entity is an instance of putting and the physical is an instrument for the entity and the object transferred in the entity is the other entity
(=> (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	If a process is an instance of transplant, then there exist an entity, an object and a transfer such that the entity is an instance of animal and the object is an instance of organ and the transfer is an instance of putting and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the transfer ends up at the entity
(=> (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	If an object is an instance of sparkling water, then there exist a process, an entity and another object such that the process is an instance of putting and the entity is an instance of potable water and the process ends up at the other object and the other object is an instance of carbon dioxide and the object is a result of the process and the other object is a part of the object
(=> (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	If a physical is an instance of spice, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of putting and the physical is a patient of the entity and the entity ends up at the other entity and the other entity is an instance of prepared food
(=> (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 11476-11488	If a process is an instance of substituting, then there exist another process, a third process,, , an entity,, , another entity and an object such that the other process is an instance of putting and the third process is an instance of removing and the other process is a subprocess of the process and the third process is a subprocess of the process and the entity is a patient of the third process and the third process originates at the object and the other entity is a patient of the other process and the other process ends up at the object and the entity is not equal to the other entity
(=> (instance ?Slot ATMSlot) (exists (?Insert ?Card) (and (instance ?Insert Putting) (patient ?Insert ?Card) (instance ?Card BankCard) (destination ?Insert ?Slot))))	FinancialOntology.kif 3669-3676	If an entity is an instance of ATM slot, then there exist a process and another entity such that the process is an instance of putting and the other entity is a patient of the process and the other entity is an instance of bank card and the process ends up at the entity
(=> (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 4883-4893	If a physical is an instance of tire changer, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of putting and the other entity is an instance of tire and the third entity is an instance of rim and the entity ends up at the third entity and the object transferred in the entity is the other entity and the physical is an instrument for the entity
(=> (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 26727-26736	If a physical is an instance of easel, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of artifact and flat is an attribute of the entity and the other entity is an instance of putting and the entity is a patient of the other entity and the other entity ends up at the physical
(=> (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 26707-26720	If a physical is an instance of tripod, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of artifact and the other entity is an instance of putting and the entity is a patient of the other entity and the other entity ends up at the physical and the third entity is an instance of process and the entity is an instrument for the third entity and the end of the time of existence of the other entity happens before the beginning of the time of existence of the third entity

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

KB Term:			Term intersection

English Word: