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 11447-11449 | |
(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 11445-11445 | 子類 Putting and Transfer |
appearance as argument number 2 |
(relatedInternalConcept Attaching Putting) | Merge.kif 12395-12395 | 相關的內部概念 Attaching and Putting |
(relatedInternalConcept Increasing Putting) | Merge.kif 10928-10928 | 相關的內部概念 Increasing and Putting |
(subclass Burying Putting) | Mid-level-ontology.kif 18020-18020 | 子類 掩埋 and Putting |
(subclass Concealing Putting) | Mid-level-ontology.kif 5479-5479 | 子類 隱瞞 and Putting |
(subclass Covering Putting) | Merge.kif 11460-11460 | 子類 Covering and Putting |
(subclass DeployingWeaponOfMassDestruction Putting) | WMD.kif 676-676 | 子類 部署大規模殺傷性武器 and Putting |
(subclass Diluting Putting) | Mid-level-ontology.kif 19641-19641 | 子類 稀釋 and Putting |
(subclass Dressing Putting) | Mid-level-ontology.kif 5494-5494 | 子類 調味料 and Putting |
(subclass Entombing Putting) | Mid-level-ontology.kif 18064-18064 | 子類 埋葬 and Putting |
(subclass Inserting Putting) | Merge.kif 11466-11466 | 子類 插入 and Putting |
(subclass Installing Putting) | Mid-level-ontology.kif 17914-17914 | 子類 安裝 and Putting |
(subclass Lubricating Putting) | Cars.kif 2977-2977 | 子類 Lubricating and Putting |
(subclass Planting Putting) | Geography.kif 2577-2577 | 子類 種植 and Putting |
(subclass Siltation Putting) | Geography.kif 2923-2923 | 子類 淤積 and Putting |
(subclass Wetting Putting) | Merge.kif 12793-12793 | 子類 Wetting and 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 | 梭曼 biochemical 病毒解毒製劑 吡啶斯的明溴化物 對於 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 | |
(=> (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 11451-11458 |
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 12224-12234 | |
(=> (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 3349-3359 | |
(=> (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 3003-3011 | |
(=> (instance ?GG GreaseGun) (hasPurpose ?GG (exists (?P ?G) (and (instance ?G Grease) (instance ?P Putting) (instrument ?P ?GG) (objectTransferred ?P ?G))))) |
Cars.kif 3019-3027 | |
(=> (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 | |
(=> (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 4374-4382 | |
(=> (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 11500-11512 | |
(=> (instance ?Slot ATMSlot) (exists (?Insert ?Card) (and (instance ?Insert Putting) (patient ?Insert ?Card) (instance ?Card BankCard) (destination ?Insert ?Slot)))) |
FinancialOntology.kif 3669-3676 | |
(=> (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 4860-4870 | |
(=> (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 26772-26781 | |
(=> (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 26752-26765 |