instrument - Sigma Knowledge base Browser

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 2414-2418
(domain instrument 1 Process)	Merge.kif 2411-2411	The number 1 argument of instrument is an instance of process
(domain instrument 2 Object)	Merge.kif 2412-2412	The number 2 argument of instrument is an instance of object
(instance instrument CaseRole)	Merge.kif 2409-2409	instrument is an instance of case role
(instance instrument PartialValuedRelation)	Merge.kif 2410-2410	instrument is an instance of partial valued relation
(subrelation instrument patient)	Merge.kif 2408-2408	instrument is a subrelation of patient

appearance as argument number 2

(disjointRelation resource instrument)	Merge.kif 2454-2454	resource and instrument are disjoint
(disjointRelation result instrument)	Merge.kif 2455-2455	result and instrument are 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
(subrelation computerRunning instrument)	QoSontology.kif 197-197	computer running is a subrelation of instrument
(subrelation conveyance instrument)	Mid-level-ontology.kif 22975-22975	conveyance is a subrelation of instrument
(subrelation eCommerceSite instrument)	UXExperimentalTerms.kif 1917-1917	eCommerceSite is a subrelation of instrument
(subrelation reagent instrument)	Mid-level-ontology.kif 8408-8408	reagent is a subrelation of instrument
(subrelation standardErrorDevice instrument)	QoSontology.kif 529-529	standard error device is a subrelation of instrument
(subrelation standardInputDevice instrument)	QoSontology.kif 498-498	standard input device is a subrelation of instrument
(subrelation standardOutputDevice instrument)	QoSontology.kif 512-512	standard output device is a subrelation of instrument
(termFormat ChineseLanguage instrument "仪器")	domainEnglishFormat.kif 30246-30246
(termFormat ChineseLanguage instrument "工具")	chinese_format.kif 136-136
(termFormat ChineseTraditionalLanguage instrument "儀器")	domainEnglishFormat.kif 30245-30245
(termFormat EnglishLanguage instrument "instrument")	domainEnglishFormat.kif 30244-30244

antecedent

(=> (and (antagonistMuscles ?A ?B) (instance ?F Extension) (instrument ?F ?A) (moves ?F ?PART) (instance ?AC ?A) (instance ?BC ?B) (part ?A ?H) (part ?B ?H) (instance ?H Mammal)) (capability ?B instrument Flexion))	Mid-level-ontology.kif 10190-10201	If a kind of muscle and another kind of muscle are antagonist muscles and a motion is an instance of Extension and a kind of muscle is an instrument for the motion and an object moves during the motion and the kind of muscleC is an instance of the kind of muscle and another kind of muscleC is an instance of the other kind of muscle and the kind of muscle is a part of another object and the other kind of muscle is a part of the other object and the other object is an instance of mammal, then Flexion is capable of doing the other kind of muscle as a instrument
(=> (and (antagonistMuscles ?A ?B) (instance ?F Flexion) (instrument ?F ?A) (moves ?F ?PART) (instance ?AC ?A) (instance ?BC ?B) (part ?A ?H) (part ?B ?H) (instance ?H Mammal)) (capability ?B instrument Extension))	Mid-level-ontology.kif 10177-10188	If a kind of muscle and another kind of muscle are antagonist muscles and a motion is an instance of Flexion and a kind of muscle is an instrument for the motion and an object moves during the motion and the kind of muscleC is an instance of the kind of muscle and another kind of muscleC is an instance of the other kind of muscle and the kind of muscle is a part of another object and the other kind of muscle is a part of the other object and the other object is an instance of mammal, then Extension is capable of doing the other kind of muscle as a instrument
(=> (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 ?P (MeasureFn 0 UnitedStatesDollar) ?HOTEL))	Hotel.kif 334-349	If use of a class is free for a kind of hotel unit and the class is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the class and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the process is price 0 united states dollar(s) for the agent
(=> (and (instance ?A Anchor) (instance ?ATTACH Attaching) (instrument ?ATTACH ?A) (patient ?ATTACH ?S)) (instance ?S WaterVehicle))	Mid-level-ontology.kif 4133-4139	If an object is an instance of anchor and the objectTTACH is an instance of attaching and the object is an instrument for the objectTTACH and an entity is a patient of the objectTTACH, then the entity is an instance of water vehicle
(=> (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 10610-10620	If an object is an instance of artery and a process is an instance of transfer and an entity is a patient of the process and the object is an instrument for the process and the entity is an instance of blood, then there exists another object such that the other object is an instance of heart and the process originates at the other object
(=> (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 10643-10653	If an object is an instance of pulmonary artery and a process is an instance of transfer and an entity is a patient of the process and the object is an instrument for the process and the entity is an instance of blood, then there exists another entity such that the other entity is an instance of lung and the process ends up at the other entity
(=> (and (instance ?ATTACK ViolentContest) (instrument ?ATTACK ?WEAPON) (instance ?WEAPON BiochemicalWeapon)) (instance ?ATTACK BiochemicalAttack))	WMD.kif 57-62	If a process is an instance of violent contest and an object is an instrument for the process and the object is an instance of biochemical weapon, then the process is an instance of biochemical attack
(=> (and (instance ?Authorization AuthorizationOfTransaction) (instance ?Transaction FinancialTransaction) (instance ?Card BankCard) (instrument ?Transaction ?Card) (causes ?Authorization ?Transaction)) (instance ?Card ValidCard))	FinancialOntology.kif 3520-3527	If a process is an instance of authorization of transaction and another process is an instance of financial transaction and an object is an instance of bank card and the object is an instrument for the other process and the process causes the other process, then the object is an instance of valid card
(=> (and (instance ?B Blade) (instance ?CUT Cutting) (instance ?OBJ Object) (instrument ?CUT ?B) (patient ?CUT ?OBJ)) (meetsSpatially ?B ?OBJ))	Mid-level-ontology.kif 21495-21502	If an object is an instance of blade and a process is an instance of cutting and another object is an instance of object and the object is an instrument for the process and the other object is a patient of the process, then the object meets the other object
(=> (and (instance ?C Covering) (patient ?C ?P) (instrument ?C ?I)) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (covers ?I ?P)))	Mid-level-ontology.kif 29166-29173	If a process is an instance of covering and an entity is a patient of the process and an object is an instrument for the process, then the object covers the entity holds during immediately after the time of existence of the process
(=> (and (instance ?CHEW Chewing) (instrument ?CHEW ?TOOTH)) (instance ?TOOTH Tooth))	Mid-level-ontology.kif 11041-11045	If a process is an instance of chewing and an object is an instrument for the process, then the object is an instance of tooth
(=> (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 1390-1400	If an object is an instance of WirelessNetwork and a motion is an instance of NetworkCommunication and the object is an instrument for the motion and another object is path along which the motion occurs, then there exists a third object such that the third object is a part of the other object and the third object is not an instance of cable
(=> (and (instance ?CRAFT WaterVehicle) (instance ?EVENT Transportation) (instrument ?EVENT ?CRAFT)) (exists (?WATER) (and (instance ?WATER WaterArea) (eventLocated ?EVENT ?WATER))))	Mid-level-ontology.kif 3450-3458	If an object is an instance of water vehicle and a process is an instance of transportation and the object is an instrument for the process, then there exists an entity such that the entity is an instance of water area and the process is located at 2
(=> (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 3547-3558	If a bank card is an instance of debit card and an agent possesses the bank card and a process is an instance of financial transaction and the bank card is an instrument for the process, then there exist a symbolic string and another process such that the bank card is a pin of the symbolic string and the other process is an instance of entering a PIN and the symbolic string is a patient of the other process and the agent is an agent of the other process
(=> (and (instance ?D AnimalPoweredDevice) (instrument ?P ?D)) (exists (?A) (and (instance ?A Animal) (instrument ?P ?A))))	Mid-level-ontology.kif 2721-2728	If an object is an instance of animal powered device and the object is an instrument for a process, then there exists another object such that the other object is an instance of animal and the other object is an instrument for the process
(=> (and (instance ?DAMAGE Damaging) (instrument ?DAMAGE ?SUBSTANCE) (instance ?SUBSTANCE BiologicallyActiveSubstance)) (instance ?SUBSTANCE Toxin))	WMD.kif 180-185	If a process is an instance of damaging and an object is an instrument for the process and the object is an instance of biologically active substance, then the object is an instance of toxin
(=> (and (instance ?DEV ElectricDevice) (instance ?EV Process) (instrument ?EV ?DEV)) (exists (?R) (and (instance ?R Electricity) (resource ?EV ?R))))	Mid-level-ontology.kif 2501-2509	If an object is an instance of electric device and a process is an instance of process and the object is an instrument for the process, then there exists another object such that the other object is an instance of electricity and the other object is a resource for the process
(=> (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	If an object is an instance of absolute filter and a process is an instance of removing and the process originates at another object and the other object is an instance of gas mixture and a third object is a patient of the process and solid is an attribute of the third object and the object is an instrument for the process, then the third object is not a part of the other object
(=> (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	If an object is an instance of fuel pump and another object is an instance of automobile and the object is a part of the other object and a motion is an instance of transportation and a process is an instance of fuel and the process is a patient of the motion and the object is an instrument for the process and a third object is an instance of gas tank and the third object is a part of the other object and a fourth object is an instance of EngineCylinder and the fourth object is a part of the other object and the motion originates at the third object and the motion ends up at the fourth object and a fifth object is path along which the motion occurs, then the motion has the purpose there exists the processF such that the processF is an instance of fuel filter and the third object between on path the processF for the fourth object
(=> (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	If an object is an instance of fuel pump and another object is an instance of automobile and the object is a part of the other object and a process is an instance of transportation and another process is an instance of fuel and the other process is a patient of the process and the object is an instrument for the other process, then the object has the purpose there exist an entity and another entity such that the entity is an instance of gas tank and the entity is a part of the other object and the other entity is an instance of EngineCylinder and the other entity is a part of the other object and the process originates at the entity and the process ends up at the other entity
(=> (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 1192-1204	If an object is an instance of gun and another object is an instance of gun barrel and the other object is a part of the object and a process is an instance of shooting and the object is an instrument for the process and an entity is a patient of the process and the entity is an instance of projectile, then there exists the processUB such that the processUB is a subprocess of the process and the other object is path along which the processUB occurs
(=> (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 16490-16502	If an object is an instance of game goal and the object is an instrument for a process and the process is an instance of game and another process is a subprocess of the process and the other process is an instance of score, then there exist an entity and a time position such that the entity is an instance of game piece and the entity is a patient of the other process and the time position is a part of the time of existence of the other process and the entity is located at the object holds during the time position
(=> (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 4290-4302	If an object is an instance of reel and a process is an instance of keeping and another object is an instance of corpuscular object and long and thin is an attribute of the other object and pliable is an attribute of the other object and the object is an instrument for the process and the other object is a patient of the process, then there exists a third object such that the third object is a part of the other object and the third object meets the object
(=> (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 4304-4317	If an object is an instance of reel and a process is an instance of keeping and another object is an instance of corpuscular object and long and thin is an attribute of the other object and pliable is an attribute of the other object and the object is an instrument for the process and the other object is a patient of the process, then there exists another process such that the other process is an instance of rotating and the object is a patient of the other process and the other process is a subprocess of the process
(=> (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	If an object is an instance of ignition coil and a process is an instance of electric transmission and another object is a resource for the process and the other object is an instance of electricity and an entity is an instance of electricity and the entity is a result of the process and the object is an instrument for the process and the measure of the other object is a real number volt(s), then the approximate value of the real number is 12

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(=> (and (antagonistMuscles ?A ?B) (instance ?F Extension) (instrument ?F ?A) (moves ?F ?PART) (instance ?AC ?A) (instance ?BC ?B) (part ?A ?H) (part ?B ?H) (instance ?H Mammal)) (capability ?B instrument Flexion))	Mid-level-ontology.kif 10190-10201	If a kind of muscle and another kind of muscle are antagonist muscles and a motion is an instance of Extension and a kind of muscle is an instrument for the motion and an object moves during the motion and the kind of muscleC is an instance of the kind of muscle and another kind of muscleC is an instance of the other kind of muscle and the kind of muscle is a part of another object and the other kind of muscle is a part of the other object and the other object is an instance of mammal, then Flexion is capable of doing the other kind of muscle as a instrument
(=> (and (antagonistMuscles ?A ?B) (instance ?F Flexion) (instrument ?F ?A) (moves ?F ?PART) (instance ?AC ?A) (instance ?BC ?B) (part ?A ?H) (part ?B ?H) (instance ?H Mammal)) (capability ?B instrument Extension))	Mid-level-ontology.kif 10177-10188	If a kind of muscle and another kind of muscle are antagonist muscles and a motion is an instance of Flexion and a kind of muscle is an instrument for the motion and an object moves during the motion and the kind of muscleC is an instance of the kind of muscle and another kind of muscleC is an instance of the other kind of muscle and the kind of muscle is a part of another object and the other kind of muscle is a part of the other object and the other object is an instance of mammal, then Extension is capable of doing the other kind of muscle as a instrument
(=> (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 12014-12024	If an attribute is an attribute of an object and the attribute is an instance of fingerprint and the object is not an instance of finger, then there exist the attributeR and another object such that the other object is an instrument for the attributeR and the other object is an instance of finger and the attribute is an attribute of the other object and the object is a patient of the attributeR
(=> (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 25546-25558	If wheelchair accessible is an attribute of an object and the object is an instance of building or the object is an instance of room, then the statement there exist an entity and another entity such that the entity is an instance of motion and the other entity is an instrument for the entity and the other entity is an instance of wheelchair and the entity is located at 2 has the modal force of possibility
(=> (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 484-500	If a cognitive agent is a customer of another cognitive agent and the cognitive agent has a kind of physical and a kind of physical is a subclass of object and an entity is an instance of the kind of physical, then the cognitive agent allows the other cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of process and the entity is a resource for the other entity or the entity is an instrument for the other entity or the entity is a patient of the other entity and the other cognitive agent is an agent of the other entity or the other cognitive agent experiences the other entity
(=> (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	If a process ends up at an object and the process is an instance of messaging and an entity is a patient of the process and the object is an instance of telex, then there exist another process and another entity such that the object is an instrument for the other process and the other entity is a result of the other process and the other entity expresses the entity and the other entity is an instance of text and the beginning of the time of existence of the process happens before the beginning of the time of existence of the other process
(=> (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 1325-1336	If an engineering component is a component of internet and another engineering component is a component of internet and the engineering component is not equal to the other engineering component, then internet has the purpose there exists an entity such that the entity is an instance of communication and the engineering component is an agent of the entity and the entity ends up at the other engineering component and internet is an instrument for the entity
(=> (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 790-811	If use of a kind of physical is free for a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the agent is an agent of the process and the process ends up at another entity and a kind of physical is a subclass of object, then the statement there exist a third entity and a fourth entity such that the third entity is an instance of the kind of physical and the fourth entity is an instance of process and the third entity is a resource for the fourth entity or the third entity is an instrument for the fourth entity or the third entity is a patient of the fourth entity and the other entity is an agent of the fourth entity or the other entity experiences the fourth entity has the modal force of possibility
(=> (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 289-308	If a human is a guest at a cognitive agent and the human stays at a temporary residence and the temporary residence is an element of belongings of the cognitive agent and the temporary residence is an instance of the temporary residenceOOM and a kind of physical is an amenity in the temporary residenceOOM and a kind of physical is a subclass of object, then there exists another physical such that the other physical is an instance of the kind of physical and the other physical is located at the temporary residence and the cognitive agent allows the human to perform task of the type there exists an entity such that the human is an agent of the entity and the other physical is an instrument for the entity or the other physical is a patient of the entity or the other physical is a resource for the entity
(=> (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	If an object is an instance of armor and the object is a part of another object or the object meets the other object, then the object has the purpose there exists an entity such that the entity is an instance of maintaining and the object is an instrument for the entity and the other object experiences the entity
(=> (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	If an object is an instance of armor and the object is a part of another object or the object meets the other object, then the object has the purpose there doesn't exist an entity such that the entity is an instance of damaging and the object is an instrument for the entity and the other object experiences the entity
(=> (and (instance ?A Biped) (instance ?W Ambulating) (agent ?W ?A)) (modalAttribute (exists (?L1 ?L2) (and (instance ?L1 Leg) (instance ?L2 Leg) (part ?L1 ?A) (part ?L2 ?A) (instrument ?W ?L1) (instrument ?W ?L2))) Likely))	Mid-level-ontology.kif 4301-4315	If an agent is an instance of Biped and a process is an instance of ambulating and the agent is an agent of the process, then the statement there exist an entity and another entity such that the entity is an instance of leg and the other entity is an instance of leg and the entity is a part of the agent and the other entity is a part of the agent and the entity is an instrument for the process and the other entity is an instrument for the process has the modal force of likely
(=> (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 1128-1141	If a financial account is an instance of checking account and a process is an instance of financial transaction and the process originates at the currency of the financial account, then there exists an object such that the object is an instance of check and the object is an instrument for the process or there exists another object such that the other object is an instance of debit card and the other object is an instrument for the process
(=> (and (instance ?Account CreditCardAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (exists (?Card) (and (instance ?Card CreditCard) (instrument ?Transaction ?Card))))	FinancialOntology.kif 1238-1246	If a financial account is an instance of credit card account and a process is an instance of financial transaction and the process originates at the currency of the financial account, then there exists an object such that the object is an instance of credit card and the object is an instrument for the process
(=> (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 3368-3378	If an object is an instance of vehicle brake and another object is an instance of vehicle and the object is a part of the other object, then the object has the purpose there exists an entity such that the entity is an instance of the stop of motion and the other object is a patient of the entity and the object is an instrument for the entity
(=> (and (instance ?BITE Biting) (agent ?BITE ?ANIMAL)) (exists (?MOUTH) (and (instance ?MOUTH Mouth) (part ?MOUTH ?ANIMAL) (instrument ?BITE ?MOUTH))))	Mid-level-ontology.kif 6184-6192	If a process is an instance of biting and an agent is an agent of the process, then there exists an object such that the object is an instance of mouth and the object is a part of the agent and the object is an instrument for the process
(=> (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	If an object is an instance of brake pedal and a process is an instance of pushing and another object is an instance of vehicle and the process ends up at the object and the process is located at 2 and the object is a part of the other object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of wearing friction surface and the other entity is an instance of friction and the entity is an instrument for the other entity and the process causes the other entity
(=> (and (instance ?C Crawling) (agent ?C ?A)) (exists (?ARM) (and (instance ?ARM Arm) (part ?ARM ?A) (instrument ?C ?ARM))))	Mid-level-ontology.kif 4281-4289	If a process is an instance of crawling and an agent is an agent of the process, then there exists the agentRM such that the agentRM is an instance of arm and the agentRM is a part of the agent and the agentRM is an instrument for the process
(=> (and (instance ?D AnimalPoweredDevice) (instrument ?P ?D)) (exists (?A) (and (instance ?A Animal) (instrument ?P ?A))))	Mid-level-ontology.kif 2721-2728	If an object is an instance of animal powered device and the object is an instrument for a process, then there exists another object such that the other object is an instance of animal and the other object is an instrument for the process
(=> (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 407-418	If a process is an instance of dressing and a physical is an instance of oqal and an entity is an instance of hat and the physical is a patient of the process and the entity is a patient of the process, then the physical has the purpose there exists another entity such that the other entity is an instance of attaching and the physical is an instrument for the other entity
(=> (and (instance ?DESTR PreciseDestruction) (agent ?DESTR ?AGENT)) (exists (?WEAPON) (and (possesses ?AGENT ?WEAPON) (instrument ?DESTR ?WEAPON) (instance ?WEAPON HighPrecisionWeapon))))	MilitaryProcesses.kif 601-609	If a process is an instance of precise destruction and an agent is an agent of the process, then there exists an object such that the agent possesses the object and the object is an instrument for the process and the object is an instance of high precision weapon
(=> (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	If a process is an instance of data saving and an object is a resource for the process and the object is an instance of ElectronicDataStorageDevice, then there exists another object such that the other object is an instance of electric device and the other object is an instrument for the process and the object is connected to the other object holds during the time of existence of the process
(=> (and (instance ?E Exhaust) (material Fuel ?E) (instance ?T Transfer) (instance ?ENG Engine) (origin ?T ?ENG) (instance ?CC CatalyticConverter) (destination ?T ?CC) (objectTransferred ?T ?E)) (hasPurpose ?CC (exists (?C) (and (instance ?C Combustion) (instrument ?C ?CC) (patient ?C ?E) (eventLocated ?C ?CC)))))	Cars.kif 1717-1733	If a corpuscular object is an instance of exhaust and the corpuscular object is made of fuel and a transfer is an instance of transfer and the corpuscular objectNG is an instance of engine and the transfer originates at the corpuscular objectNG and a physical is an instance of catalytic converter and the transfer ends up at the physical and the object transferred in the transfer is the corpuscular object, then the physical has the purpose there exists an entity such that the entity is an instance of combustion and the physical is an instrument for the entity and the corpuscular object is a patient of the entity and the entity is located at 2
(=> (and (instance ?E Extension) (moves ?E ?BP)) (exists (?M ?MC) (and (instance ?M Muscle) (instance ?MC MuscularContraction) (instrument ?E ?M) (connected ?M ?BP) (subProcess ?MC ?E))))	Mid-level-ontology.kif 10155-10165	If a motion is an instance of Extension and an object moves during the motion, then there exist another object and the other objectC such that the other object is an instance of muscle and the other objectC is an instance of MuscularContraction and the other object is an instrument for the motion and the other object is connected to the object and the other objectC is a subprocess of the motion
(=> (and (instance ?ECS EngineCoolingSystem) (instance ?E Engine) (instance ?A Automobile) (part ?ECS ?A) (part ?E ?A)) (hasPurpose ?ECS (exists (?C) (and (instance ?C Cooling) (instrument ?C ?ECS) (patient ?C ?E)))))	Cars.kif 2142-2154	If an object is an instance of engine cooling system and another object is an instance of engine and a third object is an instance of automobile and the object is a part of the third object and the other object is a part of the third object, then the object has the purpose there exists an entity such that the entity is an instance of cooling and the object is an instrument for the entity and the other object is a patient of the entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(hasPurpose IBookstore
    (exists (?D)
        (and
            (instance ?D DownloadingOverNetwork)
            (instrument ?D IBookstore)
            (instance ?T Text)
            (objectTransferred ?D ?T))))

ComputingBrands.kif 3275-3281

IBookstore has the purpose there exists ?D such that ?D is an instance of downloading and iBookstore is an instrument for ?D and ?T is an instance of text and the object transferred in ?D is ?T

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

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

KB Term:			Term intersection

English Word: