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
-------------------------


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

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
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27908-27915
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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
( ! [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
No TPTP formula. May not be expressible in strict first order. Cars.kif 1070-1090
No TPTP formula. May not be expressible in strict first order. Cars.kif 1051-1068
( ! [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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15257-15269
( ! [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
( ! [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
( ! [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

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
( ! [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
( ! [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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24288-24300
No TPTP formula. May not be expressible in strict first order. Hotel.kif 484-500
( ! [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
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1312-1323
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-811
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 1619-1630
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1632-1644
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4281-4295
( ! [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
( ! [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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3349-3359
( ! [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
No TPTP formula. May not be expressible in strict first order. Cars.kif 693-707
( ! [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
( ! [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
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 407-418
( ! [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
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 1731-1747
( ! [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
No TPTP formula. May not be expressible in strict first order. Cars.kif 2156-2168

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 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