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

Formal Language: 



KB Term:  Term intersection
English Word: 

  resource

Sigma KEE - resource
resource

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


s__disjointRelation(s__resource__m,s__instrument__m)

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

Merge.kif 2454-2454 resource and result are disjoint
s__documentation(s__resource__m,s__ChineseLanguage,'"(resource ?PROCESS ?RESOURCE) 的意思是 ?RESOURCE 在 ?PROCESS 开始时存在、?PROCESS 利用了他、结果它受到 ?PROCESS 的改变。例如: 在以下这枪是用肥皂雕刻出来的这命题,肥皂是个 resource。注: resourcepatient 的另外一个自关系 instrument 不同的地方在于,资源的内在或物理特性在某方面 收到了 Process 的改变。"')

chinese_format.kif 1887-1891
s__documentation(s__resource__m,s__EnglishLanguage,'"(resource ?PROCESS ?RESOURCE) means that ?RESOURCE is present at the beginning of ?PROCESS, is used by ?PROCESS, and as a consequence is changed by ?PROCESS. For example, soap is a resource in the following proposition: the gun was carved out of soap. Note that resource differs from instrument, another subrelation of patient, in that its internal or physical properties are altered in some way by the Process."')

Merge.kif 2458-2464
s__domain(s__resource__m,n__1,s__Process)

Merge.kif 2452-2452 The number 1 argument of resource is an instance of process
s__domain(s__resource__m,n__2,s__Object)

Merge.kif 2453-2453 The number 2 argument of resource is an instance of object
s__instance(s__resource__m,s__CaseRole)

s__instance(s__CaseRole,s__SetOrClass)

Merge.kif 2450-2450 resource is an instance of case role
s__instance(s__resource__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__SetOrClass)

Merge.kif 2451-2451 resource is an instance of partial valued relation
s__subrelation(s__resource__m,s__patient__m)

Merge.kif 2449-2449 resource is a subrelation of patient

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


s__format(s__ChineseLanguage,s__resource__m,'"%2 %n 是 %1 的 resource"')

chinese_format.kif 181-181
s__format(s__EnglishLanguage,s__resource__m,'"%2 is %n a resource for %1"')

english_format.kif 185-185
s__subrelation(s__reactant__m,s__resource__m)

Mid-level-ontology.kif 8377-8377 reactant is a subrelation of resource
s__termFormat(s__ChineseLanguage,s__resource__m,'"资源"')

chinese_format.kif 182-182
s__termFormat(s__ChineseTraditionalLanguage,s__resource__m,'"資源"')

domainEnglishFormat.kif 49706-49706
s__termFormat(s__EnglishLanguage,s__resource__m,'"resource"')

domainEnglishFormat.kif 49705-49705

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11877-11884 A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity holds during the end of the time of existence of the process
( ! [V__AGENT,V__AMT,V__CUST,V__D,V__ITEM,V__X] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__AMT,s__CurrencyMeasure) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__subclass(V__ITEM,s__Object) &
         s__instance(V__ITEM,s__Class) &
         s__instance(V__X,s__Object))
       =>
       (((s__customer(V__CUST,V__AGENT)
           &
           s__corkageFee(V__AMT,V__ITEM,V__AGENT)
         &
         s__instance(V__X,V__ITEM)
       &
       ~(( ? [V__B] :
           ((s__instance(V__B,s__Buying) &
               s__patient(V__B,V__X)
             &
             s__destination(V__B,V__CUST)
           &
           s__origin(V__B,V__AGENT)))))
&
s__instance(V__D,s__Drinking) &
s__agent(V__D,V__CUST)
&
s__resource(V__D,V__X))
=>
(( ? [V__C] :
((s__instance(V__C,s__Corkage) &
   s__agent(V__C,V__CUST)
&
s__refers(V__C,V__X)
&
s__destination(V__C,V__AGENT))))))))
)
)

Dining.kif 130-150
( ! [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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29709-29730
( ! [V__FOOD,V__ACT] :
   ((s__instance(V__FOOD,s__Object) =>
       (((s__instance(V__ACT,s__Drinking) &
             s__resource(V__ACT,V__FOOD))
         =>
         (s__attribute(V__FOOD,s__Liquid)))))
   )
)

Merge.kif 9877-9881
( ! [V__FOOD,V__ACT] :
   ((s__instance(V__FOOD,s__Object) =>
       (((s__instance(V__ACT,s__Eating) &
             s__resource(V__ACT,V__FOOD))
         =>
         (s__attribute(V__FOOD,s__Solid)))))
   )
)

Merge.kif 9866-9870
( ! [V__F,V__ACT] :
   ((s__instance(V__F,s__Object) =>
       (((s__instance(V__ACT,s__Ingesting) &
             s__resource(V__ACT,V__F))
         =>
         ((s__instance(V__F,s__FoodForFn(s__Organism))
           |
           s__instance(V__F,s__Medicine))))))
)
)

Merge.kif 9853-9859
( ! [V__R,V__F,V__BP,V__BR] :
   (((s__instance(V__BP,s__BrakePad) &
         s__instance(V__BR,s__BrakeRotor) &
         s__instance(V__R,s__Rotating) &
         s__patient(V__R,V__BR)
       &
       s__instance(V__F,s__Friction) &
       s__resource(V__F,V__BP)
     &
     s__patient(V__F,V__BR))
=>
(~(s__patient(V__R,V__BP))))
)
)

Cars.kif 617-627
( ! [V__BS,V__BD,V__R,V__F] :
   (((s__instance(V__BS,s__BrakeShoe) &
         s__instance(V__BD,s__BrakeDrum) &
         s__instance(V__R,s__Rotating) &
         s__patient(V__R,V__BD)
       &
       s__instance(V__F,s__Friction) &
       s__resource(V__F,V__BS)
     &
     s__patient(V__F,V__BD))
=>
(~(s__patient(V__R,V__BS))))
)
)

Cars.kif 639-649
( ! [V__CHEW,V__FOOD] :
   ((s__instance(V__FOOD,s__Object) =>
       (((s__instance(V__CHEW,s__Chewing) &
             s__resource(V__CHEW,V__FOOD))
         =>
         (s__instance(V__FOOD,s__FoodForFn(s__Organism))))))
)
)

Mid-level-ontology.kif 10770-10774
( ! [V__COPY,V__THING1,V__THING2] :
   (((s__instance(V__THING1,s__Object) &
         s__instance(V__THING2,s__Object))
       =>
       (((s__instance(V__COPY,s__Copying) &
             s__resource(V__COPY,V__THING1)
           &
           s__result(V__COPY,V__THING2))
       =>
       (s__copy(V__THING1,V__THING2)))))
)
)

Mid-level-ontology.kif 19419-19424
No TPTP formula. May not be expressible in strict first order. Media.kif 690-700
( ! [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
( ! [V__SURFACE,V__PAINT,V__STUFF] :
   (((s__instance(V__SURFACE,s__SelfConnectedObject) &
         s__instance(V__STUFF,s__Object))
       =>
       (((s__instance(V__PAINT,s__Painting) &
             s__patient(V__PAINT,V__SURFACE)
           &
           s__resource(V__PAINT,V__STUFF))
       =>
       (( ? [V__OBJ] :
           ((s__instance(V__OBJ,s__SelfConnectedObject) &
               (s__surface(V__SURFACE,V__OBJ)
               &
               s__instance(V__STUFF,s__Paint)))))))))
)
)

Mid-level-ontology.kif 3122-3130
( ! [V__PROC,V__STUFF] :
   ((s__instance(V__STUFF,s__Object) =>
       (((s__instance(V__PROC,s__ChemicalProcess) &
             (s__resource(V__PROC,V__STUFF)
             |
             s__result(V__PROC,V__STUFF)))
       =>
       (s__instance(V__STUFF,s__PureSubstance)))))
)
)

Merge.kif 11925-11931
( ! [V__SOURCE,V__PROCESS,V__PRODUCT] :
   ((s__instance(V__SOURCE,s__Object) =>
       (((s__instance(V__PROCESS,s__Separating) &
             s__resource(V__PROCESS,V__SOURCE)
           &
           s__result(V__PROCESS,V__PRODUCT)
         &
         s__instance(V__PRODUCT,s__Iron))
       =>
       (s__instance(V__SOURCE,s__IronOre)))))
)
)

Economy.kif 4517-4523
( ! [V__REMOVE,V__HAIR] :
   ((s__instance(V__HAIR,s__Object) =>
       (((s__instance(V__REMOVE,s__HairRemoval) &
             s__resource(V__REMOVE,V__HAIR))
         =>
         (s__instance(V__HAIR,s__Hair)))))
   )
)

Mid-level-ontology.kif 11026-11030
No TPTP formula. May not be expressible in strict first order. Food.kif 1030-1045
No TPTP formula. May not be expressible in strict first order. Merge.kif 7791-7796
( ! [V__SUBSTANCE1,V__SUBSTANCE2,V__PROC] :
   ((s__instance(V__PROC,s__Process) =>
       (((s__resource(V__PROC,V__SUBSTANCE1)
           &
           s__result(V__PROC,V__SUBSTANCE2)
         &
         s__instance(V__SUBSTANCE1,s__CompoundSubstance) &
         s__instance(V__SUBSTANCE2,s__ElementalSubstance))
       =>
       (s__instance(V__PROC,s__ChemicalDecomposition)))))
)
)

Merge.kif 11963-11969
( ! [V__SUBSTANCE1,V__SUBSTANCE2,V__PROC] :
   ((s__instance(V__PROC,s__Process) =>
       (((s__resource(V__PROC,V__SUBSTANCE1)
           &
           s__result(V__PROC,V__SUBSTANCE2)
         &
         s__instance(V__SUBSTANCE1,s__ElementalSubstance) &
         s__instance(V__SUBSTANCE2,s__CompoundSubstance))
       =>
       (s__instance(V__PROC,s__ChemicalSynthesis)))))
)
)

Merge.kif 11938-11944

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


( ! [V__COMPOUND] :
   (((s__instance(V__COMPOUND,s__CompoundSubstance) =>
         ( ? [V__ELEMENT1, V__ELEMENT2, V__PROCESS] :
           ((s__instance(V__ELEMENT1,s__ElementalSubstance) &
               s__instance(V__ELEMENT2,s__ElementalSubstance) &
               ~((V__ELEMENT1 = V__ELEMENT2))
               &
               s__instance(V__PROCESS,s__ChemicalSynthesis) &
               s__resource(V__PROCESS,V__ELEMENT1)
             &
             s__resource(V__PROCESS,V__ELEMENT2)
           &
           s__result(V__PROCESS,V__COMPOUND)))))
&
(( ? [V__ELEMENT1, V__ELEMENT2, V__PROCESS] :
     ((s__instance(V__ELEMENT1,s__ElementalSubstance) &
         s__instance(V__ELEMENT2,s__ElementalSubstance) &
         ~((V__ELEMENT1 = V__ELEMENT2))
         &
         s__instance(V__PROCESS,s__ChemicalSynthesis) &
         s__resource(V__PROCESS,V__ELEMENT1)
       &
       s__resource(V__PROCESS,V__ELEMENT2)
     &
     s__result(V__PROCESS,V__COMPOUND))))
=>
s__instance(V__COMPOUND,s__CompoundSubstance)))
)
)

Merge.kif 11946-11956 An entity is an instance of compound substance if and only if there exist an object, another object and a process such that the object is an instance of elemental substance and the other object is an instance of elemental substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
( ! [V__CS] :
   (((s__instance(V__CS,s__ConjugatedSubstance) =>
         ( ? [V__C1, V__C2, V__P] :
           ((s__instance(V__C1,s__CompoundSubstance) &
               s__instance(V__C2,s__CompoundSubstance) &
               ~((V__C1 = V__C2))
               &
               s__instance(V__P,s__ChemicalSynthesis) &
               s__resource(V__P,V__C1)
             &
             s__resource(V__P,V__C2)
           &
           s__result(V__P,V__CS)))))
&
(( ? [V__C1, V__C2, V__P] :
     ((s__instance(V__C1,s__CompoundSubstance) &
         s__instance(V__C2,s__CompoundSubstance) &
         ~((V__C1 = V__C2))
         &
         s__instance(V__P,s__ChemicalSynthesis) &
         s__resource(V__P,V__C1)
       &
       s__resource(V__P,V__C2)
     &
     s__result(V__P,V__CS))))
=>
s__instance(V__CS,s__ConjugatedSubstance)))
)
)

Mid-level-ontology.kif 6123-6133 An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order. Hotel.kif 484-500
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
( ! [V__COLOR,V__OBJ] :
   ((s__instance(V__OBJ,s__Object) =>
       (((s__instance(V__COLOR,s__SecondaryColor) &
             s__attribute(V__OBJ,V__COLOR))
         =>
         (( ? [V__PROCESS, V__RESOURCE1, V__RESOURCE2, V__PRIMARY1, V__PRIMARY2] :
             ((s__instance(V__PROCESS,s__Process) &
                 s__instance(V__RESOURCE1,s__Object) &
                 s__instance(V__RESOURCE2,s__Object) &
                 (s__result(V__PROCESS,V__OBJ)
                 &
                 s__resource(V__PROCESS,V__RESOURCE1)
               &
               s__resource(V__PROCESS,V__RESOURCE2)
             &
             s__attribute(V__RESOURCE1,V__PRIMARY1)
           &
           s__attribute(V__RESOURCE2,V__PRIMARY2)
         &
         s__instance(V__PRIMARY1,s__PrimaryColor) &
         s__instance(V__PRIMARY2,s__PrimaryColor) &
         ~((V__PRIMARY1 = V__PRIMARY2))))))))))
)
)

Mid-level-ontology.kif 18411-18424
( ! [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
No TPTP formula. May not be expressible in strict first order. Food.kif 524-538
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__BuildingMaterialAndGardenEquipmentAndSuppliesDealers))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING] :
               ((s__instance(V__EV,s__Selling) &
                   s__instance(V__THING,s__Object) &
                   (s__capability(s__Constructing,s__resource__m,V__THING)
                   |
                   s__capability(s__Agriculture,s__resource__m,V__THING))
               &
               s__patient(V__EV,V__THING))))))))))
)
)

naics.kif 7249-7264
( ! [V__ORG,V__ELEC] :
   ((s__instance(V__ELEC,s__Object) =>
       (((s__instance(V__ORG,s__Organization) &
             s__attribute(V__ORG,s__ComputerAndElectronicProductManufacturing))
           =>
           (( ? [V__EV, V__MEM] :
               ((s__instance(V__MEM,s__Process) &
                   (s__member(V__MEM,V__ORG)
                   &
                   s__agent(V__MEM,V__EV)
                 &
                 ( ? [V__THING, V__MEM2, V__EV2] :
                   ((s__instance(V__MEM2,s__Agent) &
                       (s__instance(V__EV,s__Manufacture) &
                         (s__instance(V__THING,s__Computer) |
                           (s__instance(V__THING,s__Machine) &
                             ( ? [V__EV3] :
                               ((s__instance(V__EV3,s__Process) &
                                   (s__patient(V__EV3,V__THING)
                                   &
                                   s__resource(V__EV3,V__ELEC)
                                 &
                                 s__instance(V__ELEC,s__Electricity)))))))
                     &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))))
)
)

naics.kif 5133-5157
( ! [V__ORG,V__ELEC] :
   ((s__instance(V__ELEC,s__Object) =>
       (((s__instance(V__ORG,s__Organization) &
             s__attribute(V__ORG,s__ElectricalEquipmentApplianceAndComponentManufacturing))
           =>
           (( ? [V__EV, V__MEM] :
               ((s__instance(V__MEM,s__Process) &
                   (s__member(V__MEM,V__ORG)
                   &
                   s__agent(V__MEM,V__EV)
                 &
                 ( ? [V__THING, V__MEM2, V__EV2] :
                   ((s__instance(V__MEM2,s__Agent) &
                       (s__instance(V__EV,s__Manufacture) &
                         (s__instance(V__THING,s__Machine) &
                           ( ? [V__EV3] :
                             ((s__instance(V__EV3,s__Process) &
                                 (s__patient(V__EV3,V__THING)
                                 &
                                 s__resource(V__EV3,V__ELEC)
                               &
                               s__instance(V__ELEC,s__Electricity))))))
                     &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))))
)
)

naics.kif 5428-5450
( ! [V__O,V__P,V__R,V__ROOM,V__OBJ,V__PRICE,V__U,V__GUEST,V__HOTEL] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__P,s__Process) &
         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__PRICE,s__RealNumber) &
         s__instance(V__U,s__UnitOfMeasure) &
         s__instance(V__GUEST,s__Human) &
         s__instance(V__HOTEL,s__Agent))
       =>
       (((s__paidRoomAmenity(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__located(V__P,V__O)
|
s__patient(V__P,V__O)
|
s__instrument(V__P,V__O)
|
s__resource(V__P,V__O)))
=>
((s__price(V__P,s__MeasureFn(V__PRICE,V__U)
,V__HOTEL)
&
s__instance(V__U,s__UnitOfCurrency) &
s__greaterThan(V__PRICE,n__0))))))))
)
)

Hotel.kif 374-396
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14316-14328
No TPTP formula. May not be expressible in strict first order. Economy.kif 4660-4666
( ! [V__AGENT,V__OBJ] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__OBJ,s__Object))
       =>
       ((s__exploits(V__OBJ,V__AGENT)
         =>
         (( ? [V__PROCESS] :
             ((s__instance(V__PROCESS,s__Process) &
                 (s__agent(V__PROCESS,V__AGENT)
                 &
                 s__resource(V__PROCESS,V__OBJ)))))))))
)
)

Merge.kif 3841-3846
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1824-1832
No TPTP formula. May not be expressible in strict first order. Cars.kif 607-615
No TPTP formula. May not be expressible in strict first order. Cars.kif 629-637
( ! [V__B] :
   ((s__instance(V__B,s__Brandy) =>
       (( ? [V__D, V__W] :
           ((s__instance(V__D,s__Distilling) &
               s__instance(V__W,s__Wine) &
               s__resource(V__D,V__W)
             &
             s__result(V__D,V__B))))))
)
)

Food.kif 1051-1058
( ! [V__B] :
   ((s__instance(V__B,s__BreadOrBiscuit) =>
       (( ? [V__D, V__BAKE] :
           ((s__instance(V__D,s__Dough) &
               s__instance(V__BAKE,s__Baking) &
               s__resource(V__BAKE,V__D)
             &
             s__result(V__BAKE,V__B))))))
)
)

Mid-level-ontology.kif 20611-20618
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4474-4480
( ! [V__B] :
   ((s__instance(V__B,s__Butter) =>
       (( ? [V__C, V__M] :
           ((s__instance(V__C,s__Cooking) &
               s__resource(V__C,V__M)
             &
             s__instance(V__M,s__Milk) &
             s__result(V__C,V__B))))))
)
)

Mid-level-ontology.kif 20658-20665
( ! [V__BOARD] :
   ((s__instance(V__BOARD,s__BoardOrBlock) =>
       (s__capability(s__Constructing,s__resource__m,V__BOARD)))
   )
)

Mid-level-ontology.kif 4463-4465
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2964-2970
( ! [V__C] :
   ((s__instance(V__C,s__Chromatography) =>
       (( ? [V__M] :
           ((s__resource(V__C,V__M)
             &
             (s__instance(V__M,s__LiquidMixture) |
               s__instance(V__M,s__GasMixture)))))))
   )
)

Mid-level-ontology.kif 18679-18686

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 3.0 is open source software produced by Articulate Software and its partners