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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - resource
resource

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


s__disjointRelation(s__resource__m,s__instrument__m)

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

Merge.kif 2421-2421 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 2425-2431
s__domain(s__resource__m,n__1,s__Process)

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

Merge.kif 2420-2420 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 2417-2417 resource is an instance of case role
s__instance(s__resource__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__SetOrClass)

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

Merge.kif 2416-2416 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 8209-8209 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 11844-11851 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 29077-29098
( ! [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 9844-9848
( ! [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 9833-9837
( ! [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 9820-9826
( ! [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 10331-10335
( ! [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 18801-18806
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 3169-3179
( ! [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 3120-3128
( ! [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 11892-11898
( ! [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 4514-4520
( ! [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 10540-10544
No TPTP formula. May not be expressible in strict first order. Food.kif 1048-1063
No TPTP formula. May not be expressible in strict first order. Merge.kif 7758-7763
( ! [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 11930-11936
( ! [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 11905-11911

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 11913-11923 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 6019-6029 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 17793-17806
( ! [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
No TPTP formula. May not be expressible in strict first order. Food.kif 542-556
( ! [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 13699-13711
No TPTP formula. May not be expressible in strict first order. Economy.kif 4657-4663
( ! [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 3808-3813
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1823-1831
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 1069-1076
( ! [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 19993-20000
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4471-4477
( ! [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 20040-20047
( ! [V__BOARD] :
   ((s__instance(V__BOARD,s__BoardOrBlock) =>
       (s__capability(s__Constructing,s__resource__m,V__BOARD)))
   )
)

Mid-level-ontology.kif 4460-4462
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2962-2968
( ! [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 18061-18068

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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