material

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


(=>
    (instance ?G Gland)
    (material EpithelialTissue ?G))
Merge.kif 15219-15221
(=>
    (instance ?I ResistorElement)
    (exists (?S)
        (and
            (subclass ?S InsulatorSubstance)
            (material ?S ?I))))
engineering.kif 855-860
(=>
    (instance ?IRON FabricIron)
    (exists (?BASE)
        (and
            (bottom ?BASE ?IRON)
            (material Metal ?BASE)
            (attribute ?BASE Flat))))
Mid-level-ontology.kif 25189-25195
(=>
    (instance ?K Ketchup)
    (material Tomato ?K))
Food.kif 2615-2617
(=>
    (instance ?L Latte)
    (and
        (material MilkFoam ?L)
        (material Espresso ?L)))
Food.kif 1393-1397
(=>
    (instance ?L Liqueur)
    (material Sugar ?L))
Food.kif 2644-2646
(=>
    (instance ?L LongBlack)
    (and
        (material Espresso ?L)
        (material DrinkingWater ?L)))
Food.kif 1423-1427
(=>
    (instance ?LAWB LeadAcidWetBattery)
    (material ChemicalAcid ?LAWB))
Cars.kif 2461-2463
(=>
    (instance ?LAWB LeadAcidWetBattery)
    (material Lead ?LAWB))
Cars.kif 2457-2459
(=>
    (instance ?LAWB LeadAcidWetBattery)
    (material PurifiedWater ?LAWB))
Cars.kif 2465-2467
(=>
    (instance ?M Mayonnaise)
    (and
        (material Oil ?M)
        (material EggYolk ?M)))
Food.kif 2664-2668
(=>
    (instance ?M Muscle)
    (material MuscleTissue Muscle))
Merge.kif 15231-15233
(=>
    (instance ?NC NerveCell)
    (material NervousTissue ?NC))
Merge.kif 15244-15246
(=>
    (instance ?O Omelette)
    (material Egg ?O))
Food.kif 2708-2710
(=>
    (instance ?O Opium)
    (exists (?M)
        (and
            (instance ?M Morphine)
            (material ?M ?O))))
Medicine.kif 6186-6191
(=>
    (instance ?OBJ CorpuscularObject)
    (exists (?SUBSTANCE1 ?SUBSTANCE2)
        (and
            (subclass ?SUBSTANCE1 Substance)
            (subclass ?SUBSTANCE2 Substance)
            (material ?SUBSTANCE1 ?OBJ)
            (material ?SUBSTANCE2 ?OBJ)
            (not
                (equal ?SUBSTANCE1 ?SUBSTANCE2)))))
Merge.kif 1231-1239
(=>
    (instance ?OBJ OpticalDisc)
    (material Plastic ?OBJ))
Media.kif 1139-1141
(=>
    (instance ?OBJ OpticalDisc)
    (or
        (material Gold ?OBJ)
        (material Aluminum ?OBJ)))
Media.kif 1143-1147
(=>
    (instance ?P Pasta)
    (material WheatFlour ?P))
Food.kif 2744-2746
(=>
    (instance ?PLANER Planer)
    (hasPurpose ?PLANER
        (exists (?CUT ?OBJ1 ?OBJ2 ?U ?H1 ?H2)
            (and
                (instance ?CUT Cutting)
                (instrument ?CUT ?PLANER)
                (resource ?CUT ?OBJ1)
                (instance ?OBJ1 Object)
                (material ?OBJ1 Wood)
                (result ?CUT ?OBJ2)
                (instance ?OBJ2 Object)
                (material Wood ?OBJ2)
                (attribute ?OBJ2 Flat)
                (instance ?U UnitOfLength)
                (height ?OBJ1
                    (MeasureFn ?H1 ?U))
                (height ?OBJ2
                    (MeasureFn ?H2 ?U))
                (greaterThan ?H1 ?H2)))))
Economy.kif 6017-6036
(=>
    (instance ?RV8 RoverV8Engine)
    (material Aluminum ?RV8))
Cars.kif 4722-4724
(=>
    (instance ?S Sorbet)
    (material DrinkingWater ?S))
Food.kif 3444-3446
(=>
    (instance ?S Sorbet)
    (material Fruit ?S))
Food.kif 3448-3450
(=>
    (instance ?S Sorbet)
    (material Sugar ?S))
Food.kif 3452-3454
(=>
    (instance ?S String)
    (material Fabric ?S))
Mid-level-ontology.kif 3655-3657

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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