resource

-------------------------


(=>
    (instance ?PROCESS SoilSalination)
    (exists (?SOIL)
        (and
            (instance ?SOIL Soil)
            (resource ?PROCESS ?SOIL))))		 Geography.kif 2954-2959
(=>
    (instance ?R
        (OperatingFn GasolineEngine))
    (exists (?F)
        (and
            (instance ?F Gasoline)
            (resource ?R ?F))))		 Mid-level-ontology.kif 23603-23608
(=>
    (instance ?R Rum)
    (exists (?D ?S)
        (and
            (instance ?D Distilling)
            (instance ?S SugarCane)
            (resource ?D ?S)
            (result ?D ?R))))		 Food.kif 3339-3346
(=>
    (instance ?S Sake)
    (exists (?R ?F)
        (and
            (instance ?F Fermentation)
            (resource ?F ?R)
            (instance ?R Rice)
            (result ?F ?S))))		 Medicine.kif 3479-3486
(=>
    (instance ?S Schnapps)
    (exists (?D ?F)
        (and
            (instance ?D Distilling)
            (instance ?F Fruit)
            (resource ?D ?F)
            (result ?D ?S))))		 Food.kif 3368-3375
(=>
    (instance ?S Silk)
    (exists (?M ?T ?I)
        (and
            (instance ?M Making)
            (result ?M ?S)
            (resource ?M ?T)
            (part ?T ?I)
            (instance ?I Insect)
            (attribute ?I Larval))))		 Mid-level-ontology.kif 5390-5399
(=>
    (instance ?S WearingFrictionSurface)
    (hasPurpose ?S
        (exists (?F)
            (and
                (instance ?F Friction)
                (resource ?F ?S)))))		 Cars.kif 588-594
(=>
    (instance ?SALT SodiumChloride)
    (exists (?SYNTHESIS ?SODIUM ?CHLORINE)
        (and
            (instance ?SYNTHESIS ChemicalSynthesis)
            (resource ?SYNTHESIS ?SODIUM)
            (instance ?SODIUM Sodium)
            (resource ?SYNTHESIS ?CHLORINE)
            (instance ?CHLORINE Chlorine)
            (result ?SYNTHESIS ?SALT))))		 Mid-level-ontology.kif 8753-8762
(=>
    (instance ?SMOKING Smoking)
    (exists (?BURN ?CIGAR ?BREATHE ?SMOKE)
        (and
            (subProcess ?BURN ?SMOKING)
            (instance ?BURN Combustion)
            (resource ?BURN ?CIGAR)
            (instance ?CIGAR CigarOrCigarette)
            (result ?BURN ?SMOKE)
            (patient ?BREATHE ?SMOKE)
            (instance ?BREATHE Breathing)
            (subProcess ?BREATHE ?SMOKING))))		 Mid-level-ontology.kif 16070-16081
(=>
    (instance ?SOAK Soaking)
    (exists (?WATER ?OBJ)
        (and
            (instance ?OBJ Object)
            (patient ?SOAK ?OBJ)
            (instance ?WATER FreshWater)
            (resource ?SOAK ?WATER)
            (holdsDuring ?SOAK
                (orientation ?OBJ ?WATER Surrounded)))))		 Mid-level-ontology.kif 26515-26524
(=>
    (instance ?STEAKHOUSE Steakhouse)
    (exists (?SERVICE ?STEAK ?BEEF ?COOK)
        (and
            (instance ?COOK Cooking)
            (instance ?BEEF Beef)
            (resource ?COOK ?BEEF)
            (result ?COOK ?STEAK)
            (instance ?SERVICE CommercialService)
            (agent ?SERVICE ?STEAKHOUSE)
            (instance ?SERVICE Selling)
            (patient ?SERVICE ?STEAK))))		 Dining.kif 88-99
(=>
    (instance ?T Tequila)
    (exists (?D ?B)
        (and
            (instance ?D Distilling)
            (instance ?B BlueAgave)
            (resource ?D ?B)
            (result ?D ?T))))		 Food.kif 3495-3502
(=>
    (instance ?V Vodka)
    (exists (?D ?CG)
        (and
            (instance ?D Distilling)
            (instance ?CG CerealGrain)
            (resource ?D ?CG)
            (result ?D ?V))))		 Food.kif 3595-3602
(=>
    (instance ?W WatercolorPicture)
    (exists (?WP ?P)
        (and
            (instance ?WP WatercolorPaint)
            (instance ?P Painting)
            (resource ?P ?WP)
            (result ?P ?W))))		 Mid-level-ontology.kif 3112-3119
(=>
    (instance ?W Whiskey)
    (exists (?D ?CG)
        (and
            (instance ?D Distilling)
            (instance ?CG CerealGrain)
            (resource ?D ?CG)
            (result ?D ?W))))		 Food.kif 3608-3615
(=>
    (instance ?W Wool)
    (exists (?M ?H ?S)
        (and
            (instance ?M Making)
            (result ?M ?W)
            (resource ?M ?H)
            (part ?H ?S)
            (instance ?H Hair)
            (instance ?S Sheep))))		 Mid-level-ontology.kif 5404-5413
(=>
    (instance ?WATER Water)
    (exists (?SYNTHESIS ?HYDROGEN ?OXYGEN)
        (and
            (instance ?SYNTHESIS ChemicalSynthesis)
            (resource ?SYNTHESIS ?HYDROGEN)
            (instance ?HYDROGEN Hydrogen)
            (resource ?SYNTHESIS ?OXYGEN)
            (instance ?OXYGEN Oxygen)
            (result ?SYNTHESIS ?WATER))))		 Mid-level-ontology.kif 8781-8790
(=>
    (instance ?X
        (JuiceOfFn ?Y))
    (exists (?Z ?P)
        (and
            (instance ?Z ?Y)
            (instance ?P Motion)
            (resource ?P ?Z)
            (result ?P ?X))))		 Food.kif 2603-2610
(=>
    (instance ?X BusinessCenter)
    (hasPurpose ?X
        (exists (?PERSON ?WORK ?OBJ)
            (and
                (attribute ?PERSON BusinessPerson)
                (instance ?WORK Working)
                (instance ?OBJ Object)
                (located ?OBJ ?X)
                (agent ?WORK ?PERSON)
                (or
                    (instrument ?WORK ?OBJ)
                    (resource ?WORK ?OBJ)
                    (patient ?WORK ?OBJ))))))		 Hotel.kif 1655-1668
(=>
    (instance ?X FrenchPressingCoffee)
    (exists (?W)
        (and
            (instance ?W DrinkingWater)
            (resource ?W ?X)
            (measure ?W
                (MeasureFn 90 CelsiusDegree)))))		 Food.kif 862-869
(=>
    (instance ?X Paper)
    (exists (?MAKE ?CELL ?PRESS)
        (and
            (instance ?MAKE Making)
            (instance ?CELL Cellulose)
            (instance ?PRESS Compressing)
            (resource ?MAKE ?CELL)
            (result ?MAKE ?X)
            (subProcess ?MAKE ?PRESS)
            (patient ?PRESS ?CELL))))		 Mid-level-ontology.kif 3562-3572
(=>
    (medicine ?MC ?D)
    (exists (?DOC)
        (and
            (instance ?DOC MedicalDoctor)
            (believes ?DOC
                (exists (?T ?H ?M)
                    (and
                        (instance ?M ?MC)
                        (instance ?T TherapeuticProcess)
                        (instance ?H Human)
                        (patientMedical ?H ?DOC)
                        (resource ?T ?M)
                        (benefits ?T ?H)))))))		 Mid-level-ontology.kif 9651-9664
(=>
    (property ?PROCESS ChemicalEquilibrium)
    (exists (?RATIO ?TIME ?RESOURCE ?RESULT)
        (=>
            (and
                (holdsDuring ?TIME
                    (resource ?PROCESS ?RESOURCE))
                (holdsDuring ?TIME
                    (result ?PROCESS ?RESULT)))
            (equal ?RATIO
                (DivisionFn ?RESOURCE ?RESULT)))))		 Mid-level-ontology.kif 19634-19641


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