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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InitialNodeFn)和一个终点(可参考

Sigma KEE - instrument
instrument

appearance as argument number 1
-------------------------


s__documentation(s__instrument__m,s__ChineseLanguage,'(instrument ?EVENT ?TOOL) 的意思是 ?TOOL 是主事者令?EVENT 发生的工具,而且 ?TOOL 并没受到 ?EVENT 的改变。例如:在以下哪钥匙把门打开了 这命题,钥匙是个 instrument。 注:instrumentresource 这两个参数不可以用同一对的顺序来 表示。 ')

Merge.kif 2616-2619
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 2611-2615
s__domain(s__instrument__m,1,s__Process)

Merge.kif 2609-2609
s__domain(s__instrument__m,2,s__Object)

Merge.kif 2610-2610
s__instance(s__CaseRole,s__SetOrClass)

Merge.kif 2607-2607
s__instance(s__PartialValuedRelation,s__SetOrClass)

Merge.kif 2608-2608
s__subrelation(s__instrument__m,s__patient__m)

Merge.kif 2606-2606

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


s__disjointRelation(s__resource__m,s__instrument__m)

Merge.kif 2661-2661
s__disjointRelation(s__result__m,s__instrument__m)

Merge.kif 2662-2662
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 94-94
s__format(s__FrenchLanguage,s__instrument__m,'%2 est %n un instrument pour %1')

french_format.kif 89-89
s__format(s__ItalianLanguage,s__instrument__m,'%2 � %n uno strumento per %1')

relations-it.txt 150-150
s__format(s__PortugueseLanguage,s__instrument__m,'%2 e %n um instrumento para %1')

portuguese_format.kif 41-41
s__format(s__ar__m,s__instrument__m,'%2 هو %n أدَاة مِن أجْل %1')

arabic_format.kif 39-39
s__format(s__cz__m,s__instrument__m,'%2 %p{je} %n{nen�} n�strojem for %1')

relations-cz.txt 83-83
s__format(s__de__m,s__instrument__m,'%2 ist ein instrument fuer %1 %n{nicht}')

relations-de.txt 163-163
s__format(s__hi__m,s__instrument__m,'%2 %1 kaa upakaraNa %n hai')

relations-hindi.txt 189-189
s__format(s__tg__m,s__instrument__m,'%2 %n ay ang kasangkapan ng %1')

relations-tg.txt 304-304
s__subrelation(s__computerRunning__m,s__instrument__m)

QoSontology.kif 194-194
s__subrelation(s__conveyance__m,s__instrument__m)

Mid-level-ontology.kif 21414-21414
s__subrelation(s__eCommerceSite__m,s__instrument__m)

UXExperimentalTerms.kif 1914-1914
s__subrelation(s__reagent__m,s__instrument__m)

Mid-level-ontology.kif 8482-8482
s__subrelation(s__serviceInstrument__m,s__instrument__m)

TravelPolicies.kif 761-761
s__subrelation(s__standardErrorDevice__m,s__instrument__m)

QoSontology.kif 511-511
s__subrelation(s__standardInputDevice__m,s__instrument__m)

QoSontology.kif 480-480
s__subrelation(s__standardOutputDevice__m,s__instrument__m)

QoSontology.kif 494-494
s__termFormat(s__ChineseLanguage,s__instrument__m,'工具')

chinese_format.kif 136-136
s__termFormat(s__EnglishLanguage,s__instrument__m,'instrument')

domainEnglishFormat.kif 5460-5460
s__termFormat(s__ar__m,s__instrument__m,'«أدَاة مِن أجْل»')

arabic_format.kif 489-489
s__termFormat(s__tg__m,s__instrument__m,'kasangkapan')

relations-tg.txt 305-305

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Dining.kif 130-153
( ∀ [V__ROOM,V__OBJ,V__R,V__GUEST,V__HOTEL,V__O,V__P]
   ((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(0,s__UnitedStatesDollar),V__HOTEL))
)

Hotel.kif 333-348
( ∀ [V__A,V__ATTACH,V__S]
   ((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 4716-4722
( ∀ [V__ARTERY,V__TRANSFER,V__BLOOD]
   ((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 9500-9510
( ∀ [V__ARTERY,V__TRANSFER,V__BLOOD]
   ((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 9533-9543
( ∀ [V__ATTACK,V__WEAPON]
   ((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
( ∀ [V__Authorization,V__Transaction,V__Card]
   ((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 3407-3414
( ∀ [V__B,V__CUT,V__OBJ]
   ((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 19744-19751
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27855-27862
( ∀ [V__CHEW,V__TOOTH]
   ((s__instance(V__CHEW,s__Chewing) ∧
       s__instrument(V__CHEW,V__TOOTH))
   ⇒
   s__instance(V__TOOTH,s__Tooth))
)

Mid-level-ontology.kif 9781-9785
( ∀ [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 4034-4042
( ∀ [V__Card,V__Agent,V__Transaction]
   ((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__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 3434-3445
( ∀ [V__D,V__P]
   ((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 3230-3237
( ∀ [V__DAMAGE,V__SUBSTANCE]
   ((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
( ∀ [V__DEV,V__EV]
   ((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 3010-3018
( ∀ [V__FILTER,V__REMOVE,V__GAS,V__PARTICLE]
   ((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 1378-1388
No TPTP formula. May not be expressible in strict first order. Cars.kif 1060-1080
No TPTP formula. May not be expressible in strict first order. Cars.kif 1041-1058
( ∀ [V__G,V__B,V__S,V__GUN,V__P]
   ((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__GUN)
   ∧
   s__patient(V__S,V__P)

s__instance(V__P,s__Projectile))

(∃ [V__SUB]
(s__subProcess(V__SUB,V__S)

s__path(V__SUB,V__B))))
)

Mid-level-ontology.kif 1624-1636
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14604-14616
( ∀ [V__HR,V__K,V__H]
   ((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__part(V__P,V__H)
   ∧
   s__meetsSpatially(V__P,V__HR))))
)

Cars.kif 4251-4263
( ∀ [V__HR,V__K,V__H]
   ((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 4265-4278
( ∀ [V__IC,V__P,V__E1,V__E2,V__N1]
   ((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,12))
)

Cars.kif 3126-3136
( ∀ [V__L,V__OBJ,V__PROC]
   ((s__instance(V__L,s__Lathe) ∧
       s__instance(V__OBJ,s__Object) ∧
       s__instrument(V__PROC,V__L)
     ∧
     s__patient(V__PROC,V__OBJ))

(∃ [V__R]
   (s__instance(V__R,s__Rotating) ∧
     s__subProcess(V__PROC,V__R)
   ∧
   s__patient(V__R,V__OBJ)

s__agent(V__R,V__L))))
)

Economy.kif 4883-4894
( ∀ [V__LANG,V__PROC,V__AGENT]
   ((s__instance(V__LANG,s__AnimalLanguage) ∧
       s__agent(V__PROC,V__AGENT)
     ∧
     s__instrument(V__PROC,V__LANG))

(s__instance(V__AGENT,s__Animal) ∧
   (¬ s__instance(V__AGENT,s__Human))))
)

Merge.kif 1441-1448

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ∀ [V__O,V__P]
   ((s__attribute(V__O,V__P)
     ∧
     s__instance(V__P,s__Fingerprint) ∧
     (¬ s__instance(V__O,s__Finger)))
   ⇒
   (∃ [V__PR,V__F]
     (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 10255-10265
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24067-24079
No TPTP formula. May not be expressible in strict first order. Hotel.kif 477-493
( ∀ [V__MSG,V__TELEX,V__M]
   ((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__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
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1294-1305
No TPTP formula. May not be expressible in strict first order. Hotel.kif 780-801
No TPTP formula. May not be expressible in strict first order. Hotel.kif 289-308
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1618-1629
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1631-1643
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4884-4898
( ∀ [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 1074-1087
( ∀ [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 1181-1189
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3953-3963
( ∀ [V__BITE,V__ANIMAL]
   ((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 6203-6211
No TPTP formula. May not be expressible in strict first order. Cars.kif 693-707
( ∀ [V__C,V__A]
   ((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 4864-4872
( ∀ [V__D,V__P]
   ((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 3230-3237
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 405-416
( ∀ [V__DESTR,V__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 590-598
No TPTP formula. May not be expressible in strict first order. Media.kif 690-700
No TPTP formula. May not be expressible in strict first order. Cars.kif 1712-1728
No TPTP formula. May not be expressible in strict first order. Cars.kif 2128-2140
( ∀ [V__EM,V__T,V__E]
   ((s__instance(V__EM,s__Electromagnet) ∧
       s__instance(V__T,s__Transfer) ∧
       s__instance(V__E,s__Electricity) ∧
       s__objectTransferred(V__T,V__E)
     ∧
     s__path(V__T,V__EM))

(∃ [V__M]
   (s__instance(V__M,s__Magnetism) ∧
     s__instrument(V__M,V__EM))))
)

Cars.kif 3859-3869
No TPTP formula. May not be expressible in strict first order. Cars.kif 3871-3887
( ∀ [V__EXPRESS,V__AGENT]
   ((s__instance(V__EXPRESS,s__FacialExpression) ∧
       s__agent(V__EXPRESS,V__AGENT))
   ⇒
   (∃ [V__FACE]
     (s__part(V__FACE,V__AGENT)
     ∧
     s__instance(V__FACE,s__Face) ∧
     s__instrument(V__EXPRESS,V__FACE))))
)

Mid-level-ontology.kif 10611-10619

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners