Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  instrument

 Sigma KEE - instrument
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 数量 是 过程 的 instance
(domain instrument 2 Object) Merge.kif 2472-2472 工具 的 2 数量 是 客体 的 instance
(instance instrument CaseRole) Merge.kif 2469-2469 工具 是 格角色 的 instance
(instance instrument PartialValuedRelation) Merge.kif 2470-2470 工具 是 部分值关系 的 instance
(subrelation instrument patient) Merge.kif 2468-2468 工具 是 受事 的 subrelation

appearance as argument number 2
-------------------------


(disjointRelation resource instrument) Merge.kif 2514-2514 资源 和 工具 是 disjoint 关系
(disjointRelation result instrument) Merge.kif 2515-2515 结果 和 工具 是 disjoint 关系
(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 电脑运行 是 工具 的 subrelation
(subrelation conveyance instrument) Mid-level-ontology.kif 23584-23584 运输工具 是 工具 的 subrelation
(subrelation eCommerceSite instrument) UXExperimentalTerms.kif 1709-1709 eCommerceSite 是 工具 的 subrelation
(subrelation reagent instrument) Mid-level-ontology.kif 8832-8832 试剂 是 工具 的 subrelation
(subrelation standardErrorDevice instrument) QoSontology.kif 531-531 标准错误设备 是 工具 的 subrelation
(subrelation standardInputDevice instrument) QoSontology.kif 500-500 标准输入设备 是 工具 的 subrelation
(subrelation standardOutputDevice instrument) QoSontology.kif 514-514 标准输出设备 是 工具 的 subrelation
(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 ?E ?BC)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?AC ?H)
        (part ?BC ?H)
        (instance ?H Animal))
    (capability Flexion instrument ?BC))		 Mid-level-ontology.kif 10712-10723
(=>
    (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 Animal))
    (capability Extension instrument ?BC))		 Mid-level-ontology.kif 10699-10710
(=>
    (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 4235-4241
(=>
    (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 11135-11145
(=>
    (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 11168-11178
(=>
    (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 22070-22077
(=>
    (and
        (instance ?C Covering)
        (patient ?C ?P)
        (instrument ?C ?I))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?C))
        (covers ?I ?P)))		 Merge.kif 15963-15970
(=>
    (and
        (instance ?CHEW Chewing)
        (instrument ?CHEW ?TOOTH))
    (instance ?TOOTH Tooth))		 Mid-level-ontology.kif 11587-11591
(=>
    (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 3491-3499
(=>
    (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 2759-2766
(=>
    (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 2539-2547
(=>
    (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 1228-1240
(=>
    (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 17078-17090
(=>
    (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 4272-4284
(=>
    (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 4286-4299

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (and
        (antagonistMuscles ?A ?B)
        (instance ?E Extension)
        (instrument ?E ?AC)
        (moves ?E ?BC)
        (instance ?AC ?A)
        (instance ?BC ?B)
        (part ?AC ?H)
        (part ?BC ?H)
        (instance ?H Animal))
    (capability Flexion instrument ?BC))		 Mid-level-ontology.kif 10712-10723
(=>
    (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 Animal))
    (capability Extension instrument ?BC))		 Mid-level-ontology.kif 10699-10710
(=>
    (and
        (attribute ?O ?P)
        (instance ?P Fingerprint)
        (not
            (instance ?O Finger)))
    (exists (?PR ?F)
        (and
            (instrument ?PR ?F)
            (instance ?F Finger)
            (attribute ?F ?P)
            (patient ?PR ?O))))		 Mid-level-ontology.kif 12564-12574
(=>
    (and
        (attribute ?X WheelchairAccessible)
        (or
            (instance ?X Building)
            (instance ?X Room)))
    (modalAttribute
        (exists (?MOTION ?WHEELCHAIR)
            (and
                (instance ?MOTION Motion)
                (instrument ?MOTION ?WHEELCHAIR)
                (instance ?WHEELCHAIR Wheelchair)
                (eventLocated ?MOTION ?X))) Possibility))		 Mid-level-ontology.kif 26192-26204
(=>
    (and
        (customer ?CUST ?AGENT)
        (propertyAmenity ?AGENT ?PHYS)
        (subclass ?PHYS Object)
        (instance ?X ?PHYS))
    (confersRight
        (exists (?PROC)
            (and
                (instance ?PROC Process)
                (or
                    (resource ?PROC ?X)
                    (instrument ?PROC ?X)
                    (patient ?PROC ?X))
                (or
                    (agent ?PROC ?CUST)
                    (experiencer ?PROC ?CUST)))) ?AGENT ?CUST))		 Hotel.kif 504-520
(=>
    (and
        (destination ?MSG ?TELEX)
        (instance ?MSG Messaging)
        (patient ?MSG ?M)
        (instance ?TELEX Telex))
    (exists (?PROC ?TEXT)
        (and
            (instrument ?PROC ?TELEX)
            (result ?PROC ?TEXT)
            (represents ?TEXT ?M)
            (instance ?TEXT Text)
            (before
                (BeginFn
                    (WhenFn ?MSG))
                (BeginFn
                    (WhenFn ?PROC))))))		 Communications.kif 202-214
(=>
    (and
        (engineeringSubcomponent ?DEVICE1 Internet)
        (engineeringSubcomponent ?DEVICE2 Internet)
        (not
            (equal ?DEVICE1 ?DEVICE2)))
    (hasPurpose Internet
        (exists (?COMM)
            (and
                (instance ?COMM Communication)
                (agent ?COMM ?DEVICE1)
                (destination ?COMM ?DEVICE2)
                (instrument ?COMM Internet)))))		 Hotel.kif 1347-1358
(=>
    (and
        (ennervates ?NC ?MC)
        (instance ?N ?NC)
        (instance ?M ?MC)
        (part ?N ?H)
        (part ?M ?H)
        (attribute ?H Healthy)
        (instance ?H Human))
    (hasPurpose ?N
        (exists (?NF ?C)
            (and
                (instance ?NF NerveFiring)
                (instrument ?NF ?N)
                (instance ?MC MuscleContraction)
                (instrument ?MV ?M)
                (causes ?NF ?MC)))))		 Anatomy.kif 1923-1939
(=>
    (and
        (functionRoomAmenity ?FR ?PHY)
        (instance ?RM ?FR)
        (element ?RM
            (PropertyFn ?HOTEL))
        (instance ?RENT Renting)
        (patient ?RENT ?RM)
        (agent ?RENT ?HOTEL)
        (destination ?RENT ?CUST)
        (subclass ?PHY Object))
    (modalAttribute
        (exists (?O ?P)
            (and
                (instance ?O ?PHY)
                (instance ?P Process)
                (or
                    (resource ?P ?O)
                    (instrument ?P ?O)
                    (patient ?P ?O))
                (or
                    (agent ?P ?CUST)
                    (experiencer ?P ?CUST)))) Possibility))		 Hotel.kif 811-832
(=>
    (and
        (guest ?CUST ?HOTEL)
        (stays ?CUST ?R)
        (element ?R
            (PropertyFn ?HOTEL))
        (instance ?R ?ROOM)
        (roomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object))
    (exists (?O)
        (and
            (instance ?O ?OBJ)
            (located ?O ?R)
            (confersRight
                (exists (?PROC)
                    (and
                        (agent ?PROC ?CUST)
                        (or
                            (instrument ?PROC ?O)
                            (patient ?PROC ?O)
                            (resource ?PROC ?O)))) ?HOTEL ?CUST))))		 Hotel.kif 294-313
(=>
    (and
        (instance ?A Armor)
        (or
            (part ?A ?OBJ)
            (meetsSpatially ?A ?OBJ)))
    (hasPurpose ?A
        (exists (?MAINTAINING)
            (and
                (instance ?MAINTAINING Maintaining)
                (instrument ?MAINTAINING ?A)
                (experiencer ?MAINTAINING ?OBJ)))))		 MilitaryDevices.kif 1619-1630
(=>
    (and
        (instance ?A Armor)
        (or
            (part ?A ?OBJ)
            (meetsSpatially ?A ?OBJ)))
    (hasPurpose ?A
        (not
            (exists (?DAMAGING)
                (and
                    (instance ?DAMAGING Damaging)
                    (instrument ?DAMAGING ?A)
                    (experiencer ?DAMAGING ?OBJ))))))		 MilitaryDevices.kif 1632-1644
(=>
    (and
        (instance ?A Biped)
        (instance ?W Ambulating)
        (agent ?W ?A))
    (modalAttribute
        (exists (?L1 ?L2)
            (and
                (instance ?L1 Leg)
                (instance ?L2 Leg)
                (not
                    (equal ?L1 ?L2))
                (part ?L1 ?A)
                (part ?L2 ?A)
                (instrument ?W ?L1)
                (instrument ?W ?L2))) Likely))		 Mid-level-ontology.kif 4404-4420
(=>
    (and
        (instance ?AI AutoImmuneDisorder)
        (experiencer ?AI ?H))
    (exists (?A ?D ?C)
        (and
            (instance ?A Antibody)
            (part ?A ?H)
            (instance ?C Cell)
            (part ?C ?H)
            (instance ?D Destruction)
            (instrument ?D ?A)
            (not
                (desires ?H
                    (and
                        (instance ?D Destruction)
                        (instrument ?D ?A)))))))		 Medicine.kif 2200-2216
(=>
    (and
        (instance ?Account CheckingAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (or
        (exists (?Check)
            (and
                (instance ?Check Check)
                (instrument ?Transaction ?Check)))
        (exists (?DebitCard)
            (and
                (instance ?DebitCard DebitCard)
                (instrument ?Transaction ?DebitCard)))))		 FinancialOntology.kif 1129-1142
(=>
    (and
        (instance ?Account CreditCardAccount)
        (instance ?Transaction FinancialTransaction)
        (origin ?Transaction
            (CurrencyFn ?Account)))
    (exists (?Card)
        (and
            (instance ?Card CreditCard)
            (instrument ?Transaction ?Card))))		 FinancialOntology.kif 1239-1247
(=>
    (and
        (instance ?B VehicleBrake)
        (instance ?V Vehicle)
        (part ?B ?V))
    (hasPurpose ?B
        (exists (?S)
            (and
                (instance ?S
                    (StopFn Motion))
                (patient ?S ?V)
                (instrument ?S ?B)))))		 Mid-level-ontology.kif 3409-3419
(=>
    (and
        (instance ?BITE Biting)
        (agent ?BITE ?ANIMAL))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?MOUTH ?ANIMAL)
            (instrument ?BITE ?MOUTH))))		 Mid-level-ontology.kif 6509-6517
(=>
    (and
        (instance ?BP BrakePedal)
        (instance ?P Pushing)
        (instance ?V Vehicle)
        (destination ?P ?BP)
        (eventLocated ?P ?V)
        (part ?BP ?V))
    (hasPurpose ?BP
        (exists (?FS ?F)
            (and
                (instance ?FS WearingFrictionSurface)
                (instance ?F Friction)
                (instrument ?F ?FS)
                (causes ?P ?F)))))		 Cars.kif 693-707
(=>
    (and
        (instance ?C Crawling)
        (agent ?C ?A))
    (exists (?ARM)
        (and
            (instance ?ARM Arm)
            (part ?ARM ?A)
            (instrument ?C ?ARM))))		 Mid-level-ontology.kif 4384-4392
(=>
    (and
        (instance ?D AnimalPoweredDevice)
        (instrument ?P ?D))
    (exists (?A)
        (and
            (instance ?A Animal)
            (instrument ?P ?A))))		 Mid-level-ontology.kif 2759-2766
(=>
    (and
        (instance ?D Dressing)
        (instance ?O Oqal)
        (instance ?H Hat)
        (patient ?D ?O)
        (patient ?D ?H))
    (hasPurpose ?O
        (exists (?A)
            (and
                (instance ?A Attaching)
                (instrument ?A ?O)))))		 ArabicCulture.kif 420-431
(=>
    (and
        (instance ?DESTR PreciseDestruction)
        (agent ?DESTR ?AGENT))
    (exists (?WEAPON)
        (and
            (possesses ?AGENT ?WEAPON)
            (instrument ?DESTR ?WEAPON)
            (instance ?WEAPON HighPrecisionWeapon))))		 MilitaryProcesses.kif 601-609
(=>
    (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 ?E Eardrum)
        (part ?E ?H)
        (experiencer ?HEAR ?H)
        (attribute ?H Healthy)
        (instance ?HEAR Hearing))
    (instrument ?HEAR ?E))		 Anatomy.kif 1636-1643

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 18229-18246 有存在 ?X， ?CUT,， ， ?PAPER,， ， ?CBO， and 和 ?INFO 这样 ?X 是 PaperShredder 的 instance 和 ?CUT 是 切开 的 instance 和 ?X 是导致 ?CUT 的 instrument 和 ?PAPER 是 纸 的 instance 和 ?PAPER 是 ?CUT 的 patient 和 ?CBO 是 located 在 ?PAPER 和 ?CBO 是 VisualContentBearingObject 的 instance 和 ?CBO contains ?INFO 的资料 减少 有存在 ?READ 这样 ?READ 是 解读 的 instance 和 ?INFO 是 ?READ 的 patient 和 ?CUT 出现 的 time 比?READ 出现 的 time发生的earlier 发生的机率
(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D DownloadingOverNetwork)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))		 ComputingBrands.kif 3309-3315 IBookstore 的 目的 是 有存在 ?D 这样 ?D 是 下載 的 instance 和 iBookstore 是导致 ?D 的 instrument 和 ?T 是 文本 的 instance 和 objectTransferred ?D and ?T


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners