instrument - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__instrument__m,s__ChineseLanguage,'"(instrument ?EVENT ?TOOL) 的意思是 ?TOOL 是主事者令?EVENT 发生的工具，而且 ?TOOL 并没受到 ?EVENT 的改变。例如：在以下哪钥匙把门打开了这命题，钥匙是个 instrument。注：instrument 和 resource 这两个参数不可以用同一对的顺序来表示。 "')	chinese_format.kif 1875-1878
s__documentation(s__instrument__m,s__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 2382-2386
s__domain(s__instrument__m,n__1,s__Process)	Merge.kif 2379-2379	The number 1 argument of instrument is an instance of process
s__domain(s__instrument__m,n__2,s__Object)	Merge.kif 2380-2380	The number 2 argument of instrument is an instance of object
s__instance(s__CaseRole,s__SetOrClass) s__instance(s__instrument__m,s__CaseRole)	Merge.kif 2377-2377	instrument is an instance of case role
s__instance(s__PartialValuedRelation,s__SetOrClass) s__instance(s__instrument__m,s__PartialValuedRelation)	Merge.kif 2378-2378	instrument is an instance of partial valued relation
s__subrelation(s__instrument__m,s__patient__m)	Merge.kif 2376-2376	instrument is a subrelation of patient

appearance as argument number 2

s__disjointRelation(s__resource__m,s__instrument__m)	Merge.kif 2422-2422	resource and instrument are disjoint
s__disjointRelation(s__result__m,s__instrument__m)	Merge.kif 2423-2423	result and instrument are disjoint
s__format(s__ChineseLanguage,s__instrument__m,'"%2 %n 是导致 %1 的 instrument"')	chinese_format.kif 135-135
s__format(s__EnglishLanguage,s__instrument__m,'"%2 is %n an instrument for %1"')	english_format.kif 136-136
s__subrelation(s__computerRunning__m,s__instrument__m)	QoSontology.kif 197-197	computer running is a subrelation of instrument
s__subrelation(s__conveyance__m,s__instrument__m)	Mid-level-ontology.kif 21727-21727	conveyance is a subrelation of instrument
s__subrelation(s__eCommerceSite__m,s__instrument__m)	UXExperimentalTerms.kif 1917-1917	eCommerceSite is a subrelation of instrument
s__subrelation(s__reagent__m,s__instrument__m)	Mid-level-ontology.kif 8074-8074	reagent is a subrelation of instrument
s__subrelation(s__standardErrorDevice__m,s__instrument__m)	QoSontology.kif 529-529	standard error device is a subrelation of instrument
s__subrelation(s__standardInputDevice__m,s__instrument__m)	QoSontology.kif 498-498	standard input device is a subrelation of instrument
s__subrelation(s__standardOutputDevice__m,s__instrument__m)	QoSontology.kif 512-512	standard output device is a subrelation of instrument
s__termFormat(s__ChineseLanguage,s__instrument__m,'"仪器"')	domainEnglishFormat.kif 30246-30246
s__termFormat(s__ChineseLanguage,s__instrument__m,'"工具"')	chinese_format.kif 136-136
s__termFormat(s__ChineseTraditionalLanguage,s__instrument__m,'"儀器"')	domainEnglishFormat.kif 30245-30245
s__termFormat(s__EnglishLanguage,s__instrument__m,'"instrument"')	domainEnglishFormat.kif 30244-30244

antecedent

( ! [V__BC,V__AC,V__A,V__B,V__F,V__H,V__PART] : (((s__subclass(V__A,s__Muscle) & s__instance(V__A,s__Object) & s__instance(V__A,s__Class) & s__subclass(V__B,s__Muscle) & s__instance(V__B,s__Class) & s__instance(V__B,s__Object) & s__subclass(V__B,s__Process)) => (((s__antagonistMuscles(V__A,V__B) & s__instance(V__F,s__Extension) & s__instrument(V__F,V__A) & s__moved(V__F,V__PART) & s__instance(V__AC,V__A) & s__instance(V__BC,V__B) & s__part(V__A,V__H) & s__part(V__B,V__H) & s__instance(V__H,s__Mammal)) => (s__capability(V__B,s__instrument__m,s__Flexion))))) ) )	Mid-level-ontology.kif 9385-9396	If antagonist muscles a kind of muscle and another kind of muscle and a process is an instance of Extension and a kind of muscle is an instrument for the process and moved the process and an entity 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 an object and the other kind of muscle is a part of the object and the object is an instance of mammal, then Flexion is capable of doing the other kind of muscle as a instrument
( ! [V__BC,V__AC,V__A,V__B,V__F,V__H,V__PART] : (((s__subclass(V__A,s__Muscle) & s__instance(V__A,s__Object) & s__instance(V__A,s__Class) & s__subclass(V__B,s__Muscle) & s__instance(V__B,s__Class) & s__instance(V__B,s__Object) & s__subclass(V__B,s__Process)) => (((s__antagonistMuscles(V__A,V__B) & s__instance(V__F,s__Flexion) & s__instrument(V__F,V__A) & s__moved(V__F,V__PART) & s__instance(V__AC,V__A) & s__instance(V__BC,V__B) & s__part(V__A,V__H) & s__part(V__B,V__H) & s__instance(V__H,s__Mammal)) => (s__capability(V__B,s__instrument__m,s__Extension))))) ) )	Mid-level-ontology.kif 9372-9383	If antagonist muscles a kind of muscle and another kind of muscle and a process is an instance of Flexion and a kind of muscle is an instrument for the process and moved the process and an entity 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 an object and the other kind of muscle is a part of the object and the object is an instance of mammal, then Extension is capable of doing the other kind of muscle as a instrument
( ! [V__O,V__P,V__R,V__ROOM,V__OBJ,V__GUEST,V__HOTEL] : (((s__instance(V__O,s__Object) & s__instance(V__R,s__TemporaryResidence) & s__instance(V__ROOM,s__Class) & s__subclass(V__ROOM,s__HotelUnit) & s__instance(V__OBJ,s__Class) & s__instance(V__GUEST,s__Human) & s__instance(V__HOTEL,s__Agent)) => (((s__freeRoomAmenity(V__ROOM,V__OBJ) & s__subclass(V__OBJ,s__Object) & s__instance(V__R,V__ROOM) & s__stays(V__GUEST,V__R) & s__element(V__R,s__PropertyFn(V__HOTEL)) & s__instance(V__O,V__OBJ) & s__located(V__O,V__R) & s__instance(V__P,s__Process) & s__agent(V__P,V__GUEST) & (s__patient(V__P,V__O) \| s__instrument(V__P,V__O) \| s__resource(V__P,V__O))) => (s__price(V__P,s__MeasureFn(n__0,s__UnitedStatesDollar),V__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
( ! [V__A,V__S,V__ATTACH] : (((s__instance(V__A,s__Anchor) & s__instance(V__ATTACH,s__Attaching) & s__instrument(V__ATTACH,V__A) & s__patient(V__ATTACH,V__S)) => (s__instance(V__S,s__WaterVehicle))) ) )	Mid-level-ontology.kif 4113-4119	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
( ! [V__ARTERY,V__BLOOD,V__TRANSFER] : (((s__instance(V__ARTERY,s__Artery) & s__instance(V__TRANSFER,s__Transfer) & s__patient(V__TRANSFER,V__BLOOD) & s__instrument(V__TRANSFER,V__ARTERY) & s__instance(V__BLOOD,s__Blood)) => (( ? [V__HEART] : ((s__instance(V__HEART,s__Heart) & s__origin(V__TRANSFER,V__HEART)))))) ) )	Mid-level-ontology.kif 9766-9776	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
( ! [V__ARTERY,V__BLOOD,V__TRANSFER] : (((s__instance(V__ARTERY,s__PulmonaryArtery) & s__instance(V__TRANSFER,s__Transfer) & s__patient(V__TRANSFER,V__BLOOD) & s__instrument(V__TRANSFER,V__ARTERY) & s__instance(V__BLOOD,s__Blood)) => (( ? [V__LUNG] : ((s__instance(V__LUNG,s__Lung) & s__destination(V__TRANSFER,V__LUNG)))))) ) )	Mid-level-ontology.kif 9799-9809	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
( ! [V__WEAPON,V__ATTACK] : (((s__instance(V__ATTACK,s__ViolentContest) & s__instrument(V__ATTACK,V__WEAPON) & s__instance(V__WEAPON,s__BiochemicalWeapon)) => (s__instance(V__ATTACK,s__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
( ! [V__Authorization,V__Card,V__Transaction] : (((s__instance(V__Authorization,s__AuthorizationOfTransaction) & s__instance(V__Transaction,s__FinancialTransaction) & s__instance(V__Card,s__BankCard) & s__instrument(V__Transaction,V__Card) & s__causes(V__Authorization,V__Transaction)) => (s__instance(V__Card,s__ValidCard))) ) )	FinancialOntology.kif 3456-3463	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
( ! [V__B,V__OBJ,V__CUT] : (((s__instance(V__B,s__Blade) & s__instance(V__CUT,s__Cutting) & s__instance(V__OBJ,s__Object) & s__instrument(V__CUT,V__B) & s__patient(V__CUT,V__OBJ)) => (s__meetsSpatially(V__B,V__OBJ))) ) )	Mid-level-ontology.kif 20247-20254	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27908-27915	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
( ! [V__CHEW,V__TOOTH] : ((s__instance(V__TOOTH,s__Object) => (((s__instance(V__CHEW,s__Chewing) & s__instrument(V__CHEW,V__TOOTH)) => (s__instance(V__TOOTH,s__Tooth))))) ) )	Mid-level-ontology.kif 10157-10161	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
( ! [V__PATH,V__CONN,V__COM] : ((s__instance(V__PATH,s__Object) => (((s__instance(V__CONN,s__WirelessNetwork) & s__instance(V__COM,s__NetworkCommunication) & s__instrument(V__COM,V__CONN) & s__path(V__COM,V__PATH)) => (( ? [V__PART] : ((s__instance(V__PART,s__Object) & (s__part(V__PART,V__PATH) & ~(s__instance(V__PART,s__Cable)))))))))) ) )	ComputingBrands.kif 1391-1401	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
( ! [V__CRAFT,V__EVENT] : (((s__instance(V__CRAFT,s__WaterVehicle) & s__instance(V__EVENT,s__Transportation) & s__instrument(V__EVENT,V__CRAFT)) => (( ? [V__WATER] : ((s__instance(V__WATER,s__WaterArea) & s__eventLocated(V__EVENT,V__WATER)))))) ) )	Mid-level-ontology.kif 3431-3439	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
( ! [V__Agent,V__Card,V__Transaction] : ((s__instance(V__Agent,s__Agent) => (((s__instance(V__Card,s__DebitCard) & s__possesses(V__Agent,V__Card) & s__instance(V__Transaction,s__FinancialTransaction) & s__instrument(V__Transaction,V__Card)) => (( ? [V__PIN, V__Enter] : ((s__instance(V__PIN,s__SymbolicString) & (s__pin(V__PIN,V__Card) & s__instance(V__Enter,s__EnteringAPin) & s__patient(V__Enter,V__PIN) & s__agent(V__Enter,V__Agent))))))))) ) )	FinancialOntology.kif 3483-3494	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
( ! [V__P,V__D] : ((s__instance(V__P,s__Process) => (((s__instance(V__D,s__AnimalPoweredDevice) & s__instrument(V__P,V__D)) => (( ? [V__A] : ((s__instance(V__A,s__Animal) & s__instrument(V__P,V__A)))))))) ) )	Mid-level-ontology.kif 2702-2709	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
( ! [V__SUBSTANCE,V__DAMAGE] : (((s__instance(V__DAMAGE,s__Damaging) & s__instrument(V__DAMAGE,V__SUBSTANCE) & s__instance(V__SUBSTANCE,s__BiologicallyActiveSubstance)) => (s__instance(V__SUBSTANCE,s__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
( ! [V__EV,V__DEV] : (((s__instance(V__DEV,s__ElectricDevice) & s__instance(V__EV,s__Process) & s__instrument(V__EV,V__DEV)) => (( ? [V__R] : ((s__instance(V__R,s__Electricity) & s__resource(V__EV,V__R)))))) ) )	Mid-level-ontology.kif 2482-2490	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
( ! [V__FILTER,V__REMOVE,V__GAS,V__PARTICLE] : ((s__instance(V__PARTICLE,s__Object) => (((s__instance(V__FILTER,s__AbsoluteFilter) & s__instance(V__REMOVE,s__Removing) & s__origin(V__REMOVE,V__GAS) & s__instance(V__GAS,s__GasMixture) & s__patient(V__REMOVE,V__PARTICLE) & s__attribute(V__PARTICLE,s__Solid) & s__instrument(V__REMOVE,V__FILTER)) => (~(s__part(V__PARTICLE,V__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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
( ! [V__P,V__B,V__S,V__G] : (((s__instance(V__G,s__Gun) & s__instance(V__B,s__GunBarrel) & s__part(V__B,V__G) & s__instance(V__S,s__Shooting) & s__instrument(V__S,V__G) & s__patient(V__S,V__P) & s__instance(V__P,s__Projectile)) => (( ? [V__SUB] : ((s__instance(V__SUB,s__Motion) & (s__subProcess(V__SUB,V__S) & s__path(V__SUB,V__B))))))) ) )	Mid-level-ontology.kif 1173-1185	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15257-15269	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
( ! [V__HR,V__H,V__K] : (((s__instance(V__HR,s__Reel) & s__instance(V__K,s__Keeping) & s__instance(V__H,s__CorpuscularObject) & s__attribute(V__H,s__LongAndThin) & s__attribute(V__H,s__Pliable) & s__instrument(V__K,V__HR) & s__patient(V__K,V__H)) => (( ? [V__P] : ((s__instance(V__P,s__Object) & (s__part(V__P,V__H) & s__meetsSpatially(V__P,V__HR))))))) ) )	Cars.kif 4303-4315	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
( ! [V__HR,V__H,V__K] : (((s__instance(V__HR,s__Reel) & s__instance(V__K,s__Keeping) & s__instance(V__H,s__CorpuscularObject) & s__attribute(V__H,s__LongAndThin) & s__attribute(V__H,s__Pliable) & s__instrument(V__K,V__HR) & s__patient(V__K,V__H)) => (( ? [V__R] : ((s__instance(V__R,s__Rotating) & s__patient(V__R,V__HR) & s__subProcess(V__R,V__K)))))) ) )	Cars.kif 4317-4330	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
( ! [V__P,V__N1,V__IC,V__E1,V__E2] : (((s__instance(V__N1,s__RealNumber) & s__instance(V__N1,s__UnitOfMeasure)) => (((s__instance(V__IC,s__IgnitionCoil) & s__instance(V__P,s__ElectricTransmission) & s__resource(V__P,V__E1) & s__instance(V__E1,s__Electricity) & s__instance(V__E2,s__Electricity) & s__result(V__P,V__E2) & s__instrument(V__P,V__IC) & s__measure(V__E1,s__MeasureFn(s__Volt,V__N1))) => (s__approximateValue(V__N1,n__12))))) ) )	Cars.kif 3169-3179	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 volt a real number(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

( ! [V__BC,V__AC,V__A,V__B,V__F,V__H,V__PART] : (((s__subclass(V__A,s__Muscle) & s__instance(V__A,s__Object) & s__instance(V__A,s__Class) & s__subclass(V__B,s__Muscle) & s__instance(V__B,s__Class) & s__instance(V__B,s__Object) & s__subclass(V__B,s__Process)) => (((s__antagonistMuscles(V__A,V__B) & s__instance(V__F,s__Extension) & s__instrument(V__F,V__A) & s__moved(V__F,V__PART) & s__instance(V__AC,V__A) & s__instance(V__BC,V__B) & s__part(V__A,V__H) & s__part(V__B,V__H) & s__instance(V__H,s__Mammal)) => (s__capability(V__B,s__instrument__m,s__Flexion))))) ) )	Mid-level-ontology.kif 9385-9396	If antagonist muscles a kind of muscle and another kind of muscle and a process is an instance of Extension and a kind of muscle is an instrument for the process and moved the process and an entity 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 an object and the other kind of muscle is a part of the object and the object is an instance of mammal, then Flexion is capable of doing the other kind of muscle as a instrument
( ! [V__BC,V__AC,V__A,V__B,V__F,V__H,V__PART] : (((s__subclass(V__A,s__Muscle) & s__instance(V__A,s__Object) & s__instance(V__A,s__Class) & s__subclass(V__B,s__Muscle) & s__instance(V__B,s__Class) & s__instance(V__B,s__Object) & s__subclass(V__B,s__Process)) => (((s__antagonistMuscles(V__A,V__B) & s__instance(V__F,s__Flexion) & s__instrument(V__F,V__A) & s__moved(V__F,V__PART) & s__instance(V__AC,V__A) & s__instance(V__BC,V__B) & s__part(V__A,V__H) & s__part(V__B,V__H) & s__instance(V__H,s__Mammal)) => (s__capability(V__B,s__instrument__m,s__Extension))))) ) )	Mid-level-ontology.kif 9372-9383	If antagonist muscles a kind of muscle and another kind of muscle and a process is an instance of Flexion and a kind of muscle is an instrument for the process and moved the process and an entity 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 an object and the other kind of muscle is a part of the object and the object is an instance of mammal, then Extension is capable of doing the other kind of muscle as a instrument
( ! [V__O,V__P] : ((s__instance(V__O,s__Object) => (((s__attribute(V__O,V__P) & s__instance(V__P,s__Fingerprint) & ~(s__instance(V__O,s__Finger))) => (( ? [V__PR, V__F] : ((s__instance(V__PR,s__Process) & (s__instrument(V__PR,V__F) & s__instance(V__F,s__Finger) & s__attribute(V__F,V__P) & s__patient(V__PR,V__O))))))))) ) )	Mid-level-ontology.kif 10938-10948	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24288-24300	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
No TPTP formula. May not be expressible in strict first order.	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
( ! [V__TELEX,V__M,V__MSG] : (((s__destination(V__MSG,V__TELEX) & s__instance(V__MSG,s__Messaging) & s__patient(V__MSG,V__M) & s__instance(V__TELEX,s__Telex)) => (( ? [V__PROC, V__TEXT] : ((s__instance(V__PROC,s__Process) & (s__instrument(V__PROC,V__TELEX) & s__result(V__PROC,V__TEXT) & s__represents(V__TEXT,V__M) & s__instance(V__TEXT,s__Text) & s__before(s__BeginFn(s__WhenFn(V__MSG)) ,s__BeginFn(s__WhenFn(V__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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1312-1323	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4281-4295	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
( ! [V__Account,V__Transaction] : (((s__instance(V__Account,s__CheckingAccount) & s__instance(V__Transaction,s__FinancialTransaction) & s__origin(V__Transaction,s__CurrencyFn(V__Account))) => ((( ? [V__Check] : ((s__instance(V__Check,s__Check) & s__instrument(V__Transaction,V__Check)))) \| ( ? [V__DebitCard] : ((s__instance(V__DebitCard,s__DebitCard) & s__instrument(V__Transaction,V__DebitCard))))))) ) )	FinancialOntology.kif 1083-1096	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
( ! [V__Account,V__Transaction] : (((s__instance(V__Account,s__CreditCardAccount) & s__instance(V__Transaction,s__FinancialTransaction) & s__origin(V__Transaction,s__CurrencyFn(V__Account))) => (( ? [V__Card] : ((s__instance(V__Card,s__CreditCard) & s__instrument(V__Transaction,V__Card)))))) ) )	FinancialOntology.kif 1193-1201	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3349-3359	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
( ! [V__BITE,V__ANIMAL] : ((s__instance(V__ANIMAL,s__Agent) => (((s__instance(V__BITE,s__Biting) & s__agent(V__BITE,V__ANIMAL)) => (( ? [V__MOUTH] : ((s__instance(V__MOUTH,s__Mouth) & s__part(V__MOUTH,V__ANIMAL) & s__instrument(V__BITE,V__MOUTH)))))))) ) )	Mid-level-ontology.kif 5936-5944	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
No TPTP formula. May not be expressible in strict first order.	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
( ! [V__A,V__C] : ((s__instance(V__A,s__Agent) => (((s__instance(V__C,s__Crawling) & s__agent(V__C,V__A)) => (( ? [V__ARM] : ((s__instance(V__ARM,s__Arm) & s__part(V__ARM,V__A) & s__instrument(V__C,V__ARM)))))))) ) )	Mid-level-ontology.kif 4261-4269	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
( ! [V__P,V__D] : ((s__instance(V__P,s__Process) => (((s__instance(V__D,s__AnimalPoweredDevice) & s__instrument(V__P,V__D)) => (( ? [V__A] : ((s__instance(V__A,s__Animal) & s__instrument(V__P,V__A)))))))) ) )	Mid-level-ontology.kif 2702-2709	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
No TPTP formula. May not be expressible in strict first order.	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
( ! [V__AGENT,V__DESTR] : ((s__instance(V__AGENT,s__Agent) => (((s__instance(V__DESTR,s__PreciseDestruction) & s__agent(V__DESTR,V__AGENT)) => (( ? [V__WEAPON] : ((s__possesses(V__AGENT,V__WEAPON) & s__instrument(V__DESTR,V__WEAPON) & s__instance(V__WEAPON,s__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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1731-1747	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
( ! [V__E,V__BP] : ((s__instance(V__BP,s__Object) => (((s__instance(V__E,s__Extension) & s__moves(V__E,V__BP)) => (( ? [V__M, V__MC] : ((s__instance(V__M,s__Muscle) & s__instance(V__MC,s__MuscularContraction) & s__instrument(V__E,V__M) & s__connected(V__M,V__BP) & s__subProcess(V__MC,V__E)))))))) ) )	Mid-level-ontology.kif 9350-9360	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2156-2168	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

No TPTP formula. May not be expressible in strict first order.

ComputingBrands.kif 3283-3289

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: