Putting - Sigma Knowledge base Browser

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

s__documentation(s__Putting,s__ChineseLanguage,'"这是当把某些东西放到一个位置时的 Process Class。注：可以用 CaseRole 的 destination 来指明所要放置的位置。"')	chinese_format.kif 3035-3036
s__documentation(s__Putting,s__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
s__externalImage(s__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
s__subclass(s__Putting,s__Transfer) s__instance(s__Transfer,s__SetOrClass) s__instance(s__Putting,s__SetOrClass)	Merge.kif 10872-10872	Putting is a subclass of transfer

appearance as argument number 2

s__relatedInternalConcept(s__Attaching,s__Putting)	Merge.kif 11727-11727	Attaching is internally related to putting
s__relatedInternalConcept(s__Increasing,s__Putting)	Merge.kif 10418-10418	Increasing is internally related to putting
s__subclass(s__Burying,s__Putting) s__instance(s__Putting,s__SetOrClass) s__instance(s__Burying,s__SetOrClass)	Mid-level-ontology.kif 16449-16449	Burying is a subclass of putting
s__instance(s__Concealing,s__SetOrClass) s__subclass(s__Concealing,s__Putting) s__instance(s__Putting,s__SetOrClass)	Mid-level-ontology.kif 5151-5151	Concealing is a subclass of putting
s__subclass(s__Covering,s__Putting) s__instance(s__Covering,s__SetOrClass) s__instance(s__Putting,s__SetOrClass)	Merge.kif 10887-10887	Covering is a subclass of putting
s__subclass(s__DeployingWeaponOfMassDestruction,s__Putting) s__instance(s__Putting,s__SetOrClass) s__instance(s__DeployingWeaponOfMassDestruction,s__SetOrClass)	WMD.kif 671-671	Deploying weapon of mass destruction is a subclass of putting
s__instance(s__Putting,s__SetOrClass) s__instance(s__Diluting,s__SetOrClass) s__subclass(s__Diluting,s__Putting)	Mid-level-ontology.kif 18027-18027	Diluting is a subclass of putting
s__subclass(s__Dressing,s__Putting) s__instance(s__Putting,s__SetOrClass) s__instance(s__Dressing,s__SetOrClass)	Mid-level-ontology.kif 5166-5166	Dressing is a subclass of putting
s__instance(s__Entombing,s__SetOrClass) s__instance(s__Putting,s__SetOrClass) s__subclass(s__Entombing,s__Putting)	Mid-level-ontology.kif 16493-16493	Entombing is a subclass of putting
s__instance(s__Putting,s__SetOrClass) s__subclass(s__Inserting,s__Putting) s__instance(s__Inserting,s__SetOrClass)	Merge.kif 10893-10893	Inserting is a subclass of putting
s__subclass(s__Installing,s__Putting) s__instance(s__Installing,s__SetOrClass) s__instance(s__Putting,s__SetOrClass)	Mid-level-ontology.kif 16343-16343	Installing is a subclass of putting
s__subclass(s__Lubricating,s__Putting) s__instance(s__Putting,s__SetOrClass) s__instance(s__Lubricating,s__SetOrClass)	Cars.kif 3008-3008	Lubricating is a subclass of putting
s__instance(s__Planting,s__SetOrClass) s__instance(s__Putting,s__SetOrClass) s__subclass(s__Planting,s__Putting)	Geography.kif 2539-2539	Planting is a subclass of putting
s__instance(s__Putting,s__SetOrClass) s__subclass(s__Siltation,s__Putting) s__instance(s__Siltation,s__SetOrClass)	Geography.kif 2804-2804	Siltation is a subclass of putting
s__subclass(s__Wetting,s__Putting) s__instance(s__Wetting,s__SetOrClass) s__instance(s__Putting,s__SetOrClass)	Merge.kif 12113-12113	Wetting is a subclass of putting
s__termFormat(s__ChineseLanguage,s__Putting,'"放"')	chinese_format.kif 1122-1122
s__termFormat(s__EnglishLanguage,s__Putting,'"putting"')	english_format.kif 1466-1466

appearance as argument number 3

s__biochemicalAgentAntidote(s__Soman,s__PyridostigmineBromide,s__Putting)

WMD.kif 576-576

Soman biochemical agent antidote pyridostigmine bromide for putting

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 10878-10885

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

( ! [V__AGENT,V__OBJ,V__KEEP] : ((s__instance(V__AGENT,s__Agent) => (((s__instance(V__KEEP,s__Keeping) & s__agent(V__KEEP,V__AGENT) & s__patient(V__KEEP,V__OBJ)) => (( ? [V__PUT] : ((s__instance(V__PUT,s__Putting) & s__agent(V__PUT,V__AGENT) & s__patient(V__PUT,V__OBJ) & s__earlier(s__WhenFn(V__PUT) ,s__WhenFn(V__KEEP))))))))) ) )	Merge.kif 11564-11574	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
No TPTP formula. May not be expressible in strict first order.	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
( ! [V__PROCESS,V__DISEASE] : (((s__subclass(V__PROCESS,s__Process) & s__instance(V__DISEASE,s__DiseaseOrSyndrome)) => ((s__diseaseTreatment(V__DISEASE,s__Bacitracin,V__PROCESS) => ((s__instance(V__DISEASE,s__BacterialDisease) & s__instance(V__PROCESS,s__Putting)))))) ) )	WMD.kif 1307-1311	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 an instance of putting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3289-3299	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
( ! [V__DELIVER] : ((s__instance(V__DELIVER,s__DeliveringWeaponOfMassDestruction) => (( ? [V__PUTTING, V__WEAPON1, V__WEAPON2] : ((s__instance(V__PUTTING,s__Putting) & s__subProcess(V__PUTTING,V__DELIVER) & s__instance(V__WEAPON1,s__WeaponOfMassDestruction) & s__instance(V__WEAPON2,s__Weapon) & ~(s__instance(V__WEAPON2,s__WeaponOfMassDestruction)) & s__patient(V__PUTTING,V__WEAPON1) & s__destination(V__PUTTING,V__WEAPON2)))))) ) )	WMD.kif 702-713	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
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1031-1047	If an entity is an instance of vaccinatable disease, then there exists another entity such that the other entity is an instance of vaccine and if a process is an instance of putting and the process ends up at a third entity and the third entity is an instance of human, then 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3034-3042	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3050-3058	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
( ! [V__SUB] : ((s__instance(V__SUB,s__Substituting) => (( ? [V__PUT, V__REMOVE, V__OBJ1, V__OBJ2, V__PLACE] : ((s__instance(V__PLACE,s__Object) & (s__instance(V__PUT,s__Putting) & s__instance(V__REMOVE,s__Removing) & s__subProcess(V__PUT,V__SUB) & s__subProcess(V__REMOVE,V__SUB) & s__patient(V__REMOVE,V__OBJ1) & s__origin(V__REMOVE,V__PLACE) & s__patient(V__PUT,V__OBJ2) & s__destination(V__PUT,V__PLACE) & ~((V__OBJ1 = V__OBJ2)))))))) ) )	Merge.kif 10927-10939	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
( ! [V__Slot] : ((s__instance(V__Slot,s__ATMSlot) => (( ? [V__Insert, V__Card] : ((s__instance(V__Insert,s__Putting) & s__patient(V__Insert,V__Card) & s__instance(V__Card,s__BankCard) & s__destination(V__Insert,V__Slot)))))) ) )	FinancialOntology.kif 3610-3617	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4899-4909	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25125-25134	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25105-25118	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