resource |
appearance as argument number 1 |
(disjointRelation resource instrument) | Merge.kif 2514-2514 | resource と instrument は disjoint では %n |
(disjointRelation resource result) | Merge.kif 2513-2513 | resource と result は disjoint では %n |
(documentation resource ChineseLanguage "(resource ?PROCESS ?RESOURCE) 的意思是 ?RESOURCE 在 ?PROCESS 开始时存在、?PROCESS 利用了他、结果它受到 ?PROCESS 的改变。例如: 在以下'这枪是用肥皂雕刻出来的'这命题,肥皂是个 resource。注: resource 和 patient 的另外一个自关系 instrument 不同的地方在于,资源的内在或物理特性在某方面 收到了 Process 的改变。") | chinese_format.kif 1887-1891 | |
(documentation resource EnglishLanguage "(resource ?PROCESS ?RESOURCE) means that ?RESOURCE is present at the beginning of ?PROCESS, is used by ?PROCESS, and as a consequence is changed by ?PROCESS. For example, soap is a resource in the following proposition: the gun was carved out of soap. Note that resource differs from instrument, another subrelation of patient, in that its internal or physical properties are altered in some way by the Process.") | Merge.kif 2517-2523 | |
(documentation resource JapaneseLanguage "(resource ?PROCESS ?RESOURCE) とは、?RESOURCE が PR の開始時に存在し、?PROCESS によって使用され、その結果として ?PROCESSによって変更されたこと を意味する。 例:石鹸は、次の命題の resource である: 銃は石鹸から彫り出された。 注: resource は、patient のもう 1 つのサブリレーションである instrument とは異なり、内部プロ パティまたは物理プロパティが Process によって何らかの方法で変更される。") | japanese_format.kif 512-516 | |
(domain resource 1 Process) | Merge.kif 2511-2511 | resource の数値 1 引数は 工程 の instance では %n |
(domain resource 2 Object) | Merge.kif 2512-2512 | resource の数値 2 引数は オブジェクト の instance では %n |
(instance resource CaseRole) | Merge.kif 2509-2509 | resource は 格役割 の instance では %n |
(instance resource PartialValuedRelation) | Merge.kif 2510-2510 | resource は 部分的価値関係 の instance では %n |
(subrelation resource patient) | Merge.kif 2508-2508 | resource は patient の subrelation では %n |
appearance as argument number 2 |
(format ChineseLanguage resource "%2 %n 是 %1 的 resource") | chinese_format.kif 181-181 | |
(format EnglishLanguage resource "%2 is %n a resource for %1") | english_format.kif 182-182 | |
(format FrenchLanguage resource "%2 est %n une resource pour %1") | french_format.kif 110-110 | |
(format ItalianLanguage resource "%2 è %n una risorsa per %1") | relations-it.txt 256-256 | |
(format JapaneseLanguage resource "%2 は %1 の resource では %n") | japanese_format.kif 1939-1939 | |
(format PortugueseLanguage resource "%2 e' %n um recurso para %1") | portuguese_format.kif 62-62 | |
(format cz resource "%2 %p{je} %n{nen�} n�strojem pro %1") | relations-cz.txt 86-86 | |
(format de resource "%2 ist ein hilfmittel fuer %1 %n{nicht}") | relations-de.txt 229-229 | |
(format hi resource "%2 %1 kaa saadhana %n hai") | relations-hindi.txt 293-293 | |
(format ro resource "%2 %n{nu} este o resource%t{resursã} pentru %1") | relations-ro.kif 129-129 | |
(format sv resource "%2 är %n{inte} en resurs för %1") | relations-sv.txt 115-115 | |
(format tg resource "%2 %n ay ang kakayahan ng %1") | relations-tg.txt 448-448 | |
(subrelation reactant resource) | Mid-level-ontology.kif 8798-8798 | reactant は resource の subrelation では %n |
(termFormat ChineseLanguage resource "资源") | chinese_format.kif 182-182 | |
(termFormat ChineseTraditionalLanguage resource "資源") | domainEnglishFormat.kif 49723-49723 | |
(termFormat EnglishLanguage resource "resource") | domainEnglishFormat.kif 49722-49722 | |
(termFormat de resource "hilfsmittel") | terms-de.txt 72-72 |
antecedent |
(<=> (and (instance ?COMBINE Combining) (resource ?COMBINE ?OBJ1) (result ?COMBINE ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?COMBINE)) (not (part ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?COMBINE)) (part ?OBJ1 ?OBJ2)))) |
Merge.kif 12466-12473 | 工程 は 組み合わせ の instance では %n オブジェクト は 工程 の resource では %n エンティティー は 工程 の result では %n オブジェクト は エンティティー の part では は 工程 の time の existence の beginning の during holds %n{ない} オブジェクト は エンティティー の part では %n は 工程 の time の existence の end の during holds %n{ない} |
(=> (and (customer ?CUST ?AGENT) (corkageFee ?AMT ?ITEM ?AGENT) (instance ?X ?ITEM) (not (exists (?B) (and (instance ?B Buying) (patient ?B ?X) (destination ?B ?CUST) (origin ?B ?AGENT)))) (instance ?D Drinking) (agent ?D ?CUST) (resource ?D ?X)) (exists (?C) (and (instance ?C Corkage) (agent ?C ?CUST) (refers ?C ?X) (destination ?C ?AGENT)))) |
Dining.kif 130-150 |
|
(=> (and (freeRoomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?O ?OBJ) (located ?O ?R) (instance ?P Process) (agent ?P ?GUEST) (or (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (price ?O (MeasureFn 0 UnitedStatesDollar) ?GUEST)) |
Hotel.kif 346-361 |
|
(=> (and (holdsDuring ?T1 (attribute ?H Dieting)) (holdsDuring ?T2 (not (attribute ?H Dieting))) (instance ?M1 Meal) (instance ?E1 Eating) (agent ?E1 ?H) (resource ?E1 ?M1) (during (WhenFn ?E1) ?T1) (measure ?M1 (MeasureFn ?C1 Calorie)) (instance ?M2 Meal) (instance ?E2 Eating) (agent ?E2 ?H) (resource ?E2 ?M2) (during (WhenFn ?E2) ?T2) (measure ?M2 (MeasureFn ?C2 Calorie))) (modalAttribute (greaterThan ?C2 ?C1) Likely)) |
Mid-level-ontology.kif 30662-30683 |
|
(=> (and (instance ?ACT Drinking) (resource ?ACT ?FOOD)) (attribute ?FOOD Liquid)) |
Merge.kif 10276-10280 | |
(=> (and (instance ?ACT Eating) (resource ?ACT ?FOOD)) (attribute ?FOOD Solid)) |
Merge.kif 10265-10269 | |
(=> (and (instance ?ACT Ingesting) (resource ?ACT ?F)) (or (instance ?F (FoodForFn Organism)) (instance ?F Medicine))) |
Merge.kif 10252-10258 | |
(=> (and (instance ?BP BrakePad) (instance ?BR BrakeRotor) (instance ?R Rotating) (patient ?R ?BR) (instance ?F Friction) (resource ?F ?BP) (patient ?F ?BR)) (not (patient ?R ?BP))) |
Cars.kif 617-627 | |
(=> (and (instance ?BS BrakeShoe) (instance ?BD BrakeDrum) (instance ?R Rotating) (patient ?R ?BD) (instance ?F Friction) (resource ?F ?BS) (patient ?F ?BD)) (not (patient ?R ?BS))) |
Cars.kif 639-649 | |
(=> (and (instance ?CHEW Chewing) (resource ?CHEW ?FOOD)) (instance ?FOOD (FoodForFn Organism))) |
Mid-level-ontology.kif 11554-11558 | |
(=> (and (instance ?COPY Copying) (resource ?COPY ?THING1) (result ?COPY ?THING2)) (copy ?THING1 ?THING2)) |
Mid-level-ontology.kif 20415-20420 | |
(=> (and (instance ?DSAVE DataSaving) (resource ?DSAVE ?RES) (instance ?RES ElectronicDataStorageDevice)) (exists (?DEV) (and (instance ?DEV ElectricDevice) (instrument ?DSAVE ?DEV) (holdsDuring (WhenFn ?DSAVE) (connected ?RES ?DEV))))) |
Media.kif 690-700 | |
(=> (and (instance ?ELEMENT1 ElementalSubstance) (instance ?ELEMENT2 ElementalSubstance) (not (equal ?ELEMENT1 ?ELEMENT2)) (instance ?PROCESS ChemicalSynthesis) (resource ?PROCESS ?ELEMENT1) (resource ?PROCESS ?ELEMENT2) (result ?PROCESS ?COMPOUND)) (instance ?COMPOUND CompoundSubstance)) |
Merge.kif 12547-12556 | |
(=> (and (instance ?IC IgnitionCoil) (instance ?P ElectricTransmission) (resource ?P ?E1) (instance ?E1 Electricity) (instance ?E2 Electricity) (result ?P ?E2) (instrument ?P ?IC) (measure ?E1 (MeasureFn ?N1 Volt))) (approximateValue ?N1 12)) |
Cars.kif 3155-3165 |
|
(=> (and (instance ?PAINT Painting) (patient ?PAINT ?SURFACE) (resource ?PAINT ?STUFF)) (exists (?OBJ) (and (surface ?SURFACE ?OBJ) (instance ?STUFF Paint)))) |
Mid-level-ontology.kif 3188-3196 |
|
(=> (and (instance ?PROC ChemicalProcess) (or (resource ?PROC ?STUFF) (result ?PROC ?STUFF))) (instance ?STUFF PureSubstance)) |
Merge.kif 12514-12520 | |
(=> (and (instance ?PROCESS Separating) (resource ?PROCESS ?SOURCE) (result ?PROCESS ?PRODUCT) (instance ?PRODUCT Iron)) (instance ?SOURCE IronOre)) |
Economy.kif 5629-5635 | |
(=> (and (instance ?REMOVE HairRemoval) (resource ?REMOVE ?HAIR)) (instance ?HAIR Hair)) |
Mid-level-ontology.kif 11810-11814 | |
(=> (and (instance ?W Whiskey) (instance ?D Distilling) (result ?D ?W) (resource ?DR ?W) (instance ?DR Drinking)) (exists (?C ?T ?H) (and (instance ?C Cask) (instance ?H HoleRegion) (hole ?H ?C) (holdsDuring ?T (partiallyFills ?W ?C)) (earlier ?D ?T) (earlier ?T ?DR)))) |
Food.kif 3617-3632 |
|
(=> (and (paidRoomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?O ?OBJ) (located ?O ?R) (instance ?P Process) (agent ?P ?GUEST) (or (located ?P ?R) (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (exists (?PRICE ?U) (and (price ?O (MeasureFn ?PRICE ?U) ?GUEST) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0)))) |
Hotel.kif 396-417 |
|
(=> (and (resource ?PROC ?OBJ) (holdsDuring (BeginFn (WhenFn ?PROC)) (measure ?OBJ ?QUANT1)) (holdsDuring (EndFn (WhenFn ?PROC)) (measure ?OBJ ?QUANT2))) (greaterThan ?QUANT1 ?QUANT2)) |
Merge.kif 8025-8030 | |
(=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 CompoundSubstance) (instance ?SUBSTANCE2 ElementalSubstance)) (instance ?PROC ChemicalDecomposition)) |
Merge.kif 12563-12569 | |
(=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 ElementalSubstance) (instance ?SUBSTANCE2 CompoundSubstance)) (instance ?PROC ChemicalSynthesis)) |
Merge.kif 12527-12533 |
consequent |