instrument |
appearance as argument number 1 |
(documentation instrument ChineseLanguage "(instrument ?EVENT ?TOOL) 的意思是 ?TOOL 是主事者令?EVENT 发生的工具,而且 ?TOOL 并没受到 ?EVENT 的改变。例如:在以下'哪钥匙把门打开了' 这命题,钥匙是个 instrument。 注:instrument 和 resource 这两个参数不可以用同一对的顺序来 表示。 ") | chinese_format.kif 1875-1878 | |
(documentation instrument EnglishLanguage "(instrument ?EVENT ?TOOL) means that ?TOOL is used by an agent in bringing about ?EVENT and that ?TOOL is not changed by ?EVENT. For example, the key is an instrument in the following proposition: The key opened the door. Note that instrument and resource cannot be satisfied by the same ordered pair.") | Merge.kif 2474-2478 | |
(documentation instrument JapaneseLanguage "(instrument ?EVENT ?TOOL) とは、エージェントが ?EVENT を持ち込む場合にエージェントによって使用され、?TOOL が ?EVENT によって変更されないことを 意味する。例:キーは次の命題のインである: キーがドアを開けた。 注:instrument と resource は、同じ順序のペアでは満たすことができない。") | japanese_format.kif 499-502 | |
(domain instrument 1 Process) | Merge.kif 2471-2471 | 域 儀器, 1 and Process |
(domain instrument 2 Object) | Merge.kif 2472-2472 | 域 儀器, 2 and Object |
(instance instrument CaseRole) | Merge.kif 2469-2469 | 例 儀器 and CaseRole |
(instance instrument PartialValuedRelation) | Merge.kif 2470-2470 | 例 儀器 and PartialValuedRelation |
(subrelation instrument patient) | Merge.kif 2468-2468 | 子關係 儀器 and 患者 |
appearance as argument number 2 |
(disjointRelation resource instrument) | Merge.kif 2514-2514 | 不相交的關係 資源 and 儀器 |
(disjointRelation result instrument) | Merge.kif 2515-2515 | 不相交的關係 結果 and 儀器 |
(format ChineseLanguage instrument "%2 %n 是导致 %1 的 instrument") | chinese_format.kif 135-135 | |
(format EnglishLanguage instrument "%2 is %n an instrument for %1") | english_format.kif 136-136 | |
(format FrenchLanguage instrument "%2 est %n un instrument pour %1") | french_format.kif 89-89 | |
(format ItalianLanguage instrument "%2 è %n uno strumento per %1") | relations-it.txt 150-150 | |
(format JapaneseLanguage instrument "%2 は %1 の instrument では %n") | japanese_format.kif 1916-1916 | |
(format PortugueseLanguage instrument "%2 e' %n um instrumento para %1") | portuguese_format.kif 41-41 | |
(format cz instrument "%2 %p{je} %n{nen�} n�strojem for %1") | relations-cz.txt 83-83 | |
(format de instrument "%2 ist ein instrument fuer %1 %n{nicht}") | relations-de.txt 163-163 | |
(format hi instrument "%2 %1 kaa upakaraNa %n hai") | relations-hindi.txt 189-189 | |
(format ro instrument "%2 %n{nu} este un instrument%t{instrument} pentru %1") | relations-ro.kif 108-108 | |
(format sv instrument "%2 är %n{inte} ett instrument för %1") | relations-sv.txt 88-88 | |
(format tg instrument "%2 %n ay ang kasangkapan ng %1") | relations-tg.txt 304-304 | |
(subrelation computerRunning instrument) | QoSontology.kif 199-199 | 子關係 電腦運行 and 儀器 |
(subrelation conveyance instrument) | Mid-level-ontology.kif 23532-23532 | 子關係 輸送 and 儀器 |
(subrelation eCommerceSite instrument) | UXExperimentalTerms.kif 1709-1709 | 子關係 eCommerceSite and 儀器 |
(subrelation reagent instrument) | Mid-level-ontology.kif 8805-8805 | 子關係 試劑 and 儀器 |
(subrelation standardErrorDevice instrument) | QoSontology.kif 531-531 | 子關係 標準錯誤設備 and 儀器 |
(subrelation standardInputDevice instrument) | QoSontology.kif 500-500 | 子關係 標準輸入設備 and 儀器 |
(subrelation standardOutputDevice instrument) | QoSontology.kif 514-514 | 子關係 標準輸出設備 and 儀器 |
(termFormat ChineseLanguage instrument "仪器") | domainEnglishFormat.kif 30259-30259 | |
(termFormat ChineseLanguage instrument "工具") | chinese_format.kif 136-136 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
(=> (and (antagonistMuscles ?A ?B) (instance ?E Extension) (instrument ?E ?AC) (moves ?F ?BC) (instance ?AC ?A) (instance ?BC ?B) (part ?AC ?H) (part ?BC ?H) (instance ?H Mammal)) (capability Flexion instrument ?BC)) |
Mid-level-ontology.kif 10685-10696 | |
(=> (and (antagonistMuscles ?A ?B) (instance ?F Flexion) (instrument ?F ?AC) (moves ?F ?BC) (instance ?AC ?A) (instance ?BC ?B) (part ?AC ?H) (part ?BC ?H) (instance ?H Mammal)) (capability Extension instrument ?BC)) |
Mid-level-ontology.kif 10672-10683 | |
(=> (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 (instance ?A Anchor) (instance ?ATTACH Attaching) (instrument ?ATTACH ?A) (patient ?ATTACH ?S)) (instance ?S WaterVehicle)) |
Mid-level-ontology.kif 4242-4248 | |
(=> (and (instance ?A AntibodyCOVIDTest) (instrument ?M ?A) (instance ?M Measuring) (patient ?M ?H) (instance ?CA COVIDAntibody) (part ?CA ?H)) (modalAttribute (knows ?H (exists (?CA) (and (instance ?CA COVIDAntibody) (part ?CA ?H)))) Likely)) |
Medicine.kif 2763-2777 | |
(=> (and (instance ?ARTERY Artery) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?ARTERY) (instance ?BLOOD Blood)) (exists (?HEART) (and (instance ?HEART Heart) (origin ?TRANSFER ?HEART)))) |
Mid-level-ontology.kif 11108-11118 | |
(=> (and (instance ?ARTERY PulmonaryArtery) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?ARTERY) (instance ?BLOOD Blood)) (exists (?LUNG) (and (instance ?LUNG Lung) (destination ?TRANSFER ?LUNG)))) |
Mid-level-ontology.kif 11141-11151 | |
(=> (and (instance ?ATTACK ViolentContest) (instrument ?ATTACK ?WEAPON) (instance ?WEAPON BiochemicalWeapon)) (instance ?ATTACK BiochemicalAttack)) |
WMD.kif 57-62 | |
(=> (and (instance ?Authorization AuthorizationOfTransaction) (instance ?Transaction FinancialTransaction) (instance ?Card BankCard) (instrument ?Transaction ?Card) (causes ?Authorization ?Transaction)) (instance ?Card ValidCard)) |
FinancialOntology.kif 3516-3523 | |
(=> (and (instance ?B Blade) (instance ?CUT Cutting) (instance ?OBJ Object) (instrument ?CUT ?B) (patient ?CUT ?OBJ)) (meetsSpatially ?B ?OBJ)) |
Mid-level-ontology.kif 22018-22025 | |
(=> (and (instance ?C Covering) (patient ?C ?P) (instrument ?C ?I)) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (covers ?I ?P))) |
Mid-level-ontology.kif 29758-29765 | |
(=> (and (instance ?CHEW Chewing) (instrument ?CHEW ?TOOTH)) (instance ?TOOTH Tooth)) |
Mid-level-ontology.kif 11560-11564 | |
(=> (and (instance ?CONN WirelessNetwork) (instance ?COM NetworkCommunication) (instrument ?COM ?CONN) (path ?COM ?PATH)) (exists (?PART) (and (part ?PART ?PATH) (not (instance ?PART Cable))))) |
ComputingBrands.kif 1422-1432 | |
(=> (and (instance ?CRAFT WaterVehicle) (instance ?EVENT Transportation) (instrument ?EVENT ?CRAFT)) (exists (?WATER) (and (instance ?WATER WaterArea) (eventLocated ?EVENT ?WATER)))) |
Mid-level-ontology.kif 3498-3506 | |
(=> (and (instance ?Card DebitCard) (possesses ?Agent ?Card) (instance ?Transaction FinancialTransaction) (instrument ?Transaction ?Card)) (exists (?PIN ?Enter) (and (pin ?PIN ?Card) (instance ?Enter EnteringAPin) (patient ?Enter ?PIN) (agent ?Enter ?Agent)))) |
FinancialOntology.kif 3543-3554 |
|
(=> (and (instance ?D AnimalPoweredDevice) (instrument ?P ?D)) (exists (?A) (and (instance ?A Animal) (instrument ?P ?A)))) |
Mid-level-ontology.kif 2766-2773 | |
(=> (and (instance ?DAMAGE Damaging) (instrument ?DAMAGE ?SUBSTANCE) (instance ?SUBSTANCE BiologicallyActiveSubstance)) (instance ?SUBSTANCE Toxin)) |
WMD.kif 180-185 | |
(=> (and (instance ?DEV ElectricDevice) (instance ?EV Process) (instrument ?EV ?DEV)) (exists (?R) (and (instance ?R Electricity) (resource ?EV ?R)))) |
Mid-level-ontology.kif 2546-2554 | |
(=> (and (instance ?FILTER AbsoluteFilter) (instance ?REMOVE Removing) (origin ?REMOVE ?GAS) (instance ?GAS GasMixture) (patient ?REMOVE ?PARTICLE) (attribute ?PARTICLE Solid) (instrument ?REMOVE ?FILTER)) (not (part ?PARTICLE ?GAS))) |
MilitaryDevices.kif 1379-1389 | |
(=> (and (instance ?FP FuelPump) (instance ?A Automobile) (part ?FP ?A) (instance ?T Transportation) (instance ?F Fuel) (patient ?T ?F) (instrument ?F ?FP) (instance ?GT GasTank) (part ?GT ?A) (instance ?EC EngineCylinder) (part ?EC ?A) (origin ?T ?GT) (destination ?T ?EC) (path ?T ?P)) (hasPurpose ?T (exists (?FF) (and (instance ?FF FuelFilter) (betweenOnPath ?GT ?FF ?EC ?P))))) |
Cars.kif 1070-1090 |
|
(=> (and (instance ?FP FuelPump) (instance ?A Automobile) (part ?FP ?A) (instance ?T Transportation) (instance ?F Fuel) (patient ?T ?F) (instrument ?F ?FP)) (hasPurpose ?FP (exists (?GT ?EC) (and (instance ?GT GasTank) (part ?GT ?A) (instance ?EC EngineCylinder) (part ?EC ?A) (origin ?T ?GT) (destination ?T ?EC))))) |
Cars.kif 1051-1068 |
|
(=> (and (instance ?G Gun) (instance ?B GunBarrel) (part ?B ?G) (instance ?S Shooting) (instrument ?S ?G) (patient ?S ?P) (instance ?P Projectile)) (exists (?SUB) (and (subProcess ?SUB ?S) (path ?SUB ?B)))) |
Mid-level-ontology.kif 1235-1247 | |
(=> (and (instance ?GOAL GameGoal) (instrument ?GAME ?GOAL) (instance ?GAME Game) (subProcess ?SCORE ?GAME) (instance ?SCORE Score)) (exists (?PIECE ?TIME) (and (instance ?PIECE GamePiece) (patient ?SCORE ?PIECE) (temporalPart ?TIME (WhenFn ?SCORE)) (holdsDuring ?TIME (located ?PIECE ?GOAL))))) |
Mid-level-ontology.kif 17051-17063 | |
(=> (and (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?P) (and (part ?P ?H) (meetsSpatially ?P ?HR)))) |
Cars.kif 4287-4299 | |
(=> (and (instance ?HR Reel) (instance ?K Keeping) (instance ?H CorpuscularObject) (attribute ?H LongAndThin) (attribute ?H Pliable) (instrument ?K ?HR) (patient ?K ?H)) (exists (?R) (and (instance ?R Rotating) (patient ?R ?HR) (subProcess ?R ?K)))) |
Cars.kif 4301-4314 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
statement |
(decreasesLikelihood (exists (?X ?CUT ?PAPER ?CBO ?INFO) (and (instance ?X PaperShredder) (instance ?CUT Cutting) (instrument ?CUT ?X) (instance ?PAPER Paper) (patient ?CUT ?PAPER) (located ?CBO ?PAPER) (instance ?CBO VisualContentBearingObject) (containsInformation ?CBO ?INFO))) (exists (?READ) (and (instance ?READ Interpreting) (patient ?READ ?INFO) (earlier (WhenFn ?CUT) (WhenFn ?READ))))) |
Mid-level-ontology.kif 18202-18219 | 降低可能性 ?X ?CUT, ?PAPER, ?CBO and ?INFO 例 ?X and PaperShredder 例 ?CUT and Cutting 儀器 ?CUT and ?X 例 ?PAPER and 紙 患者 ?CUT and ?PAPER 位於 ?CBO and ?PAPER 例 ?CBO and VisualContentBearingObject 包含信息 ?CBO and ?INFO and ?READ 例 ?READ and 解讀 患者 ?READ and ?INFO 早期 何時 ?CUT and 何時 ?READ |
(hasPurpose IBookstore (exists (?D) (and (instance ?D DownloadingOverNetwork) (instrument ?D IBookstore) (instance ?T Text) (objectTransferred ?D ?T)))) |
ComputingBrands.kif 3309-3315 | 有目的 iBookstore and ?D 例 ?D and 下載 儀器 ?D and iBookstore 例 ?T and Text objectTransferred ?D and ?T |