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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2415-2419
s__domain(s__instrument__m,n__1,s__Process)

Merge.kif 2412-2412 The number 1 argument of instrument is an instance of process
s__domain(s__instrument__m,n__2,s__Object)

Merge.kif 2413-2413 The number 2 argument of instrument is an instance of object
s__instance(s__CaseRole,s__Class)

s__instance(s__instrument__m,s__CaseRole)

Merge.kif 2410-2410 instrument is an instance of case role
s__instance(s__instrument__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__Class)

Merge.kif 2411-2411 instrument is an instance of partial valued relation
s__subrelation(s__instrument__m,s__patient__m)

Merge.kif 2409-2409 instrument is a subrelation of patient

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


s__disjointRelation(s__resource__m,s__instrument__m)

Merge.kif 2455-2455 resource and instrument are disjoint
s__disjointRelation(s__result__m,s__instrument__m)

Merge.kif 2456-2456 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 22809-22809 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 8384-8384 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__instance(V__PART,s__Object))
       =>
       (((s__antagonistMuscles(V__A,V__B)
           &
           s__instance(V__F,s__Extension) &
           s__instrument(V__F,V__A)
         &
         s__moves(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 10062-10073
( ! [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__instance(V__PART,s__Object))
       =>
       (((s__antagonistMuscles(V__A,V__B)
           &
           s__instance(V__F,s__Flexion) &
           s__instrument(V__F,V__A)
         &
         s__moves(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 10049-10060
( ! [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 4116-4122
( ! [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 10482-10492
( ! [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 10515-10525
( ! [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 3477-3484
( ! [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 21329-21336
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29001-29008
( ! [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 10913-10917
( ! [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 3433-3441
( ! [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 3504-3515
( ! [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 2704-2711
( ! [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 2484-2492
( ! [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 1174-1186
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16325-16337
( ! [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 4290-4302
( ! [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 4304-4317
( ! [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 3155-3165

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__instance(V__PART,s__Object))
       =>
       (((s__antagonistMuscles(V__A,V__B)
           &
           s__instance(V__F,s__Extension) &
           s__instrument(V__F,V__A)
         &
         s__moves(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 10062-10073
( ! [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__instance(V__PART,s__Object))
       =>
       (((s__antagonistMuscles(V__A,V__B)
           &
           s__instance(V__F,s__Flexion) &
           s__instrument(V__F,V__A)
         &
         s__moves(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 10049-10060
( ! [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 11885-11895
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25381-25393
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 1325-1336
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 4284-4298
( ! [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 3351-3361
( ! [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 6160-6168
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 4264-4272
( ! [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 2704-2711
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 1717-1733
( ! [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 10027-10037
No TPTP formula. May not be expressible in strict first order. Cars.kif 2142-2154

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