material

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


(=>
    (instance ?LAWB LeadAcidWetBattery)
    (material ChemicalAcid ?LAWB))
Cars.kif 2447-2449
(=>
    (instance ?LAWB LeadAcidWetBattery)
    (material Lead ?LAWB))
Cars.kif 2443-2445
(=>
    (instance ?LAWB LeadAcidWetBattery)
    (material Water ?LAWB))
Cars.kif 2451-2453
(=>
    (instance ?M Mayonnaise)
    (and
        (material Oil ?M)
        (material EggYolk ?M)))
Food.kif 702-706
(=>
    (instance ?O Omelette)
    (material Egg ?O))
Food.kif 732-734
(=>
    (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 1928-1936
(=>
    (instance ?OBJ OpticalDisc)
    (material Plastic ?OBJ))
Media.kif 1143-1145
(=>
    (instance ?OBJ OpticalDisc)
    (or
        (material Gold ?OBJ)
        (material Aluminum ?OBJ)))
Media.kif 1147-1151
(=>
    (instance ?P Pasta)
    (material Flour ?P))
Food.kif 765-767
(=>
    (instance ?PLANER Planer)
    (hasPurpose ?PLANER
        (exists (?CUT ?OBJ1 ?OBJ2)
            (and
                (instance ?CUT Cutting)
                (instrument ?CUT ?PLANER)
                (resource ?CUT ?OBJ1)
                (instance ?OBJ1 Object)
                (material ?OBJ1 Wood)
                (result ?CUT ?OBJ2)
                (instance ?OBJ2 Object)
                (material ?OBJ2 Wood)
                (attribute ?OBJ2 Flat)
                (height ?OBJ1 ?H1)
                (height ?OBJ2 ?H2)
                (greaterThan ?H1 ?H2)))))
Economy.kif 4900-4916
(=>
    (instance ?RV8 RoverV8Engine)
    (material Aluminum ?RV8))
Cars.kif 4693-4695
(=>
    (instance ?S Sorbet)
    (material Fruit ?S))
Food.kif 925-927
(=>
    (instance ?S Sorbet)
    (material Sugar ?S))
Food.kif 929-931
(=>
    (instance ?S Sorbet)
    (material Water ?S))
Food.kif 921-923
(=>
    (instance ?S String)
    (material Fabric ?S))
Mid-level-ontology.kif 4190-4192
(=>
    (instance ?SAIL Sail)
    (exists (?MAST)
        (and
            (material Fabric ?SAIL)
            (instance ?MAST Mast)
            (connected ?SAIL ?MAST))))
Mid-level-ontology.kif 24403-24409
(=>
    (instance ?SI SolderingIron)
    (exists (?X)
        (and
            (part ?X ?SI)
            (material Metal ?X))))
Mid-level-ontology.kif 5887-5892
(=>
    (instance ?SKI SnowSki)
    (exists (?MAT)
        (and
            (material ?SKI ?MAT)
            (or
                (instance ?MAT Metal)
                (instance ?MAT Wood)
                (instance ?MAT Plastic)))))
Sports.kif 889-897
(=>
    (instance ?W WoodArtifact)
    (material Wood ?W))
Mid-level-ontology.kif 8905-8907
(=>
    (instance ?WC WireCoil)
    (material ConductorSubstance ?WC))
Cars.kif 3039-3041
(=>
    (instance ?WIRE Wire)
    (material Metal ?WIRE))
Mid-level-ontology.kif 4147-4149
(=>
    (instance ?X BedLinen)
    (material Fabric ?X))
Mid-level-ontology.kif 4602-4604
(=>
    (instance ?X BotanicalTree)
    (material Wood ?X))
Mid-level-ontology.kif 9087-9089
(=>
    (instance ?X ElectricalPlug)
    (material Metal ?X))
Mid-level-ontology.kif 23922-23924
(=>
    (instance ?X Hammock)
    (and
        (material Fabric ?X)
        (exists (?POLE1 ?POLE2 ?GROUND)
            (and
                (orientation ?POLE1 ?POLE2 Near)
                (connected ?POLE1 ?X)
                (connected ?POLE2 ?X)
                (instance ?GROUND LandArea)
                (located ?X ?GROUND)
                (orientation ?X ?GROUND Above)))))
Mid-level-ontology.kif 4490-4501

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners