material

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


(=>
    (instance ?F FlatWhite)
    (and
        (material MilkFoam ?F)
        (material Espresso ?F)))
Food.kif 1344-1348
(=>
    (instance ?G Gland)
    (material EpithelialTissue ?G))
Merge.kif 15372-15374
(=>
    (instance ?I ResistorElement)
    (exists (?S)
        (and
            (subclass ?S InsulatorSubstance)
            (material ?S ?I))))
engineering.kif 1168-1173
(=>
    (instance ?IRON FabricIron)
    (exists (?BASE)
        (and
            (bottom ?BASE ?IRON)
            (material Metal ?BASE)
            (attribute ?BASE Flat))))
Mid-level-ontology.kif 26851-26857
(=>
    (instance ?K Ketchup)
    (material Tomato ?K))
Food.kif 2622-2624
(=>
    (instance ?L Latte)
    (and
        (material MilkFoam ?L)
        (material Espresso ?L)))
Food.kif 1394-1398
(=>
    (instance ?L Liqueur)
    (material Sugar ?L))
Food.kif 2651-2653
(=>
    (instance ?L LongBlack)
    (and
        (material Espresso ?L)
        (material DrinkingWater ?L)))
Food.kif 1424-1428
(=>
    (instance ?LAWB LeadAcidWetBattery)
    (material ChemicalAcid ?LAWB))
Cars.kif 2445-2447
(=>
    (instance ?LAWB LeadAcidWetBattery)
    (material Lead ?LAWB))
Cars.kif 2441-2443
(=>
    (instance ?LAWB LeadAcidWetBattery)
    (material PurifiedWater ?LAWB))
Cars.kif 2449-2451
(=>
    (instance ?M Mayonnaise)
    (and
        (material Oil ?M)
        (material EggYolk ?M)))
Food.kif 2671-2675
(=>
    (instance ?M Muscle)
    (material MuscleTissue Muscle))
Merge.kif 15384-15386
(=>
    (instance ?NC NerveCell)
    (material NervousTissue ?NC))
Merge.kif 15397-15399
(=>
    (instance ?O Omelette)
    (material Egg ?O))
Food.kif 2715-2717
(=>
    (instance ?O Opium)
    (material Morphine ?O))
Medicine.kif 6203-6205
(=>
    (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 1241-1249
(=>
    (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 2751-2753
(=>
    (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 6415-6434
(=>
    (instance ?RV8 RoverV8Engine)
    (material Aluminum ?RV8))
Cars.kif 4783-4785
(=>
    (instance ?S Sorbet)
    (material DrinkingWater ?S))
Food.kif 3451-3453
(=>
    (instance ?S Sorbet)
    (material Fruit ?S))
Food.kif 3455-3457
(=>
    (instance ?S Sorbet)
    (material Sugar ?S))
Food.kif 3459-3461

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