Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| (subclass Putting Transfer) | Merge.kif 11675-11675 | Putting is a subclass of transfer |
| (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 11677-11679 | Putting is a subclass of transfer |
| (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 | Putting is a subclass of transfer |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (biochemicalAgentAntidote Soman PyridostigmineBromide Putting) | WMD.kif 576-576 | Soman biochemical agent antidote pyridostigmine bromide for putting |
| antecedent |
|
|
| consequent |
|
|
| (=> (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 11730-11742 | If X is an instance of substituting, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of putting (3) Z is an instance of removing (4) Y is a subprocess of X (5) Z is a subprocess of X (6) W is a patient of Z (7) Z originates at U (8) V is a patient of Y (9) Y ends up at U (10) equal W (11) V |
| (=> (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 12464-12474 | If X is an instance of keeping, Y is an agent of X, and Z is a patient of X, then there exists W such that W is an instance of putting, Y is an agent of W, Z is a patient of W, and the time of existence of W happens earlier than the time of existence of X |
| (=> (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 3968-3978 | If X is an instance of display artifact, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of putting (3) Z is an instance of disseminating (4) W is an instance of content bearing object (5) W is a patient of Y (6) W is a patient of Z (7) Y ends up at X |
| (=> (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 29313-29326 | If X is an instance of tripod, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of artifact (3) Z is an instance of putting (4) Y is a patient of Z (5) Z ends up at X (6) W is an instance of process (7) Y is an instrument for W (8) the end of the time of existence of Z happens before the beginning of the time of existence of W |
| (=> (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 29333-29342 | If X is an instance of easel, then X has the purpose there exist Y, Z such that Y is an instance of artifact, flat is an attribute of Y, Z is an instance of putting, Y is a patient of Z, and Z ends up at X |
| (=> (instance ?GF GreaseFitting) (hasPurpose ?GF (exists (?P ?G) (and (instance ?G Grease) (instance ?P Putting) (path ?P ?GF) (objectTransferred ?P ?G))))) |
Cars.kif 2915-2923 | If X is an instance of grease fitting, then X has the purpose there exist Y, Z such that Z is an instance of grease, Y is an instance of putting, X is path along which Y occurs, and the object transferred in Y is Z |
| (=> (instance ?GG GreaseGun) (hasPurpose ?GG (exists (?P ?G) (and (instance ?G Grease) (instance ?P Putting) (instrument ?P ?GG) (objectTransferred ?P ?G))))) |
Cars.kif 2931-2939 | If X is an instance of grease gun, then X has the purpose there exist Y, Z such that Z is an instance of grease, Y is an instance of putting, X is an instrument for Y, and the object transferred in Y is Z |
| (=> (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 4767-4777 | If X is an instance of tire changer, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of putting (3) Z is an instance of tire (4) W is an instance of rim (5) Y ends up at W (6) the object transferred in Y is Z (7) X is an instrument for Y |
| (=> (instance ?S Spice) (hasPurpose ?S (exists (?PUT ?F) (and (instance ?PUT Putting) (patient ?PUT ?S) (destination ?PUT ?F) (instance ?F PreparedFood))))) |
Economy.kif 4707-4715 | If X is an instance of spice, then X has the purpose there exist Y, Z such that Y is an instance of putting, X is a patient of Y, Y ends up at Z, and Z is an instance of food |
| (=> (instance ?Slot ATMSlot) (exists (?Insert ?Card) (and (instance ?Insert Putting) (patient ?Insert ?Card) (instance ?Card BankCard) (destination ?Insert ?Slot)))) |
FinancialOntology.kif 3727-3734 | If X is an instance of ATM slot, then there exist Y, Z such that Y is an instance of putting, Z is a patient of Y, Z is an instance of bank card, and Y ends up at X |
| (=> (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 X is an instance of curing food, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of food (3) Y is a patient of X (4) Z is an instance of putting (5) Z is a subprocess of X (6) W is an instance of salt (7) W is a patient of Z (8) Z ends up at Y |
| (=> (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 227-236 | If X is an instance of sparkling water, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of putting (3) Z is an instance of potable water (4) Y ends up at W (5) W is an instance of carbon dioxide (6) X is a result of Y (7) W is a part of X |
| (=> (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 4663-4672 | If X is an instance of transplant, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of animal (3) Z is an instance of organ (4) W is an instance of putting (5) W is a subprocess of X (6) the object transferred in W is Z (7) W ends up at Y |
| (=> (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 | If X is an instance of parking area, then X has the purpose there exist Y, Z such that Y is an instance of putting, X plays role in event destination for Y, Z plays role in event patient for Y, and Z is an instance of transportation device |
| (=> (and (instance ?PARK DisabledParking) (instance ?AGENT Human) (attribute ?AGENT ?ATTR) (instance ?ATTR Disability)) (hasPurposeForAgent ?PARK ?AGENT (exists (?EVENT ?TD) (and (instance ?EVENT Putting) (playsRoleInEvent ?PARK destination ?EVENT) (playsRoleInEvent ?TD patient ?EVENT) (instance ?TD TransportationDevice))))) |
TransportDetail.kif 51-63 | If X is an instance of disabled parking, Y is an instance of human, Z is an attribute of Y, and Z is an instance of disability, then X has the purpose Y for there exist W, V such that W is an instance of putting, X plays role in event destination for W, V plays role in event patient for W, and V is an instance of transportation device |
| (=> (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 | If valet is an attribute of X, then X has the purpose Y is an instance of vehicle, Z is an instance of putting, Z ends up at W, W is an instance of parking area, Y is a patient of Z, and X is an agent of Z |
| (=> (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 | If X is an instance of delivering weapon of mass destruction, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of putting (3) Y is a subprocess of X (4) Z is an instance of weapon of mass destruction (5) W is an instance of weapon (6) W is not an instance of weapon of mass destruction (7) Z is a patient of Y (8) Y ends up at W |
| (=> (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 1042-1055 | If X is an instance of vaccinatable disease, then there exist Y, Z, W such that Y is an instance of vaccine, W is an instance of putting, W ends up at Z, Z is an instance of human, and the statement X is not an attribute of Z holds during after the time of existence of W has the modal force of likely |
| (=> (diseaseMedicine ?DISEASE Bacitracin ?PROCESS) (and (instance ?DISEASE BacterialDisease) (subclass ?PROCESS Putting))) |
WMD.kif 1318-1322 | If X is disease treatment bacitracin for Y, then X is an instance of bacterial disease and Y is a subclass of putting |
|