![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Putting ChineseLanguage "这是当把某些东西放到一个位置时的 Process Class。 注: 可以用 CaseRole 的 destination 来指明所要放置的位置。") | Merge.kif 11198-11199 | |
(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 11195-11197 | |
(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 2984-2984 | |
(subclass Putting Transfer) | Merge.kif 11194-11194 |
appearance as argument number 2 |
![]() |
(relatedInternalConcept Attaching Putting) | Merge.kif 12148-12148 | |
(relatedInternalConcept Increasing Putting) | Merge.kif 10712-10712 | |
(subclass Burying Putting) | Mid-level-ontology.kif 15366-15366 | |
(subclass Concealing Putting) | Mid-level-ontology.kif 5723-5723 | |
(subclass Covering Putting) | Merge.kif 11210-11210 | |
(subclass DeployingWeaponOfMassDestruction Putting) | WMD.kif 671-671 | |
(subclass Diluting Putting) | Mid-level-ontology.kif 17032-17032 | |
(subclass Dressing Putting) | Mid-level-ontology.kif 5737-5737 | |
(subclass Entombing Putting) | Mid-level-ontology.kif 15408-15408 | |
(subclass Inserting Putting) | Merge.kif 11217-11217 | |
(subclass Installing Putting) | Mid-level-ontology.kif 15287-15287 | |
(subclass Lubricating Putting) | Cars.kif 3006-3006 | |
(subclass Planting Putting) | Geography.kif 2506-2506 | |
(subclass Siltation Putting) | Geography.kif 2770-2770 | |
(subclass Wetting Putting) | Merge.kif 12536-12536 | |
(termFormat ChineseLanguage Putting "放") | chinese_format.kif 1122-1122 | |
(termFormat EnglishLanguage Putting "putting") | english_format.kif 809-809 | |
(termFormat FrenchLanguage Putting "mettre") | french_format.kif 800-800 | |
(termFormat Hindi Putting "") | terms-hindi.txt 332-332 | |
(termFormat ItalianLanguage Putting "Porre") | terms-it.txt 333-333 | |
(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 | |
(termFormat tg Putting "paglagay") | terms-tg.txt 336-336 | |
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 576-576 |
antecedent |
![]() |
(=> (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 11201-11208 |
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 11965-11975 | |
(=> (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 130-139 | |
(=> (diseaseTreatment ?DISEASE Bacitracin ?PROCESS) (and (instance ?DISEASE BacterialDisease) (instance ?PROCESS Putting))) |
WMD.kif 1223-1227 | |
(=> (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 3889-3899 | |
(=> (instance ?DELIVER DeliveringWeaponOfMassDestruction) (exists (?PUTTING ?WEAPON1 ?WEAPON2) (and (instance ?PUTTING Putting) (instance ?WEAPON1 WeaponOfMassDestruction) (instance ?WEAPON2 Weapon) (not (instance ?WEAPON2 WeaponOfMassDestruction)) (patient ?PUTTING ?WEAPON1) (destination ?PUTTING ?WEAPON2)))) |
WMD.kif 702-711 | |
(=> (instance ?DISEASE VaccinatableDisease) (exists (?VACCINE) (and (instance ?VACCINE BiologicallyActiveSubstance) (=> (and (instance ?PUT Putting) (destination ?PUT ?HUMAN) (instance ?HUMAN Human)) (holdsDuring (FutureFn (WhenFn ?PUT)) (not (attribute ?HUMAN ?DISEASE))))))) |
WMD.kif 989-999 | |
(=> (instance ?GF GreaseFitting) (hasPurpose ?GF (exists (?P ?G) (and (instance ?G Grease) (instance ?P Putting) (path ?P ?GF) (objectTransferred ?P ?G))))) |
Cars.kif 3032-3040 | |
(=> (instance ?GG GreaseGun) (hasPurpose ?GG (exists (?P ?G) (and (instance ?G Grease) (instance ?P Putting) (instrument ?P ?GG) (objectTransferred ?P ?G))))) |
Cars.kif 3048-3056 | |
(=> (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 11253-11265 | |
(=> (instance ?Slot ATMSlot) (exists (?Insert ?Card) (and (instance ?Insert Putting) (patient ?Insert ?Card) (instance ?Card BankCard) (destination ?Insert ?Slot)))) |
FinancialOntology.kif 3561-3568 | |
(=> (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 4887-4897 | |
(=> (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 24429-24438 | |
(=> (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 24409-24422 |
![]() |
![]() |