material

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


(=>
    (instance ?LAWB LeadAcidWetBattery)
    (material ChemicalAcid ?LAWB))
Cars.kif 2448-2450
(=>
    (instance ?LAWB LeadAcidWetBattery)
    (material Lead ?LAWB))
Cars.kif 2444-2446
(=>
    (instance ?LAWB LeadAcidWetBattery)
    (material Water ?LAWB))
Cars.kif 2452-2454
(=>
    (instance ?M Mayonnaise)
    (and
        (material Oil ?M)
        (material EggYolk ?M)))
Food.kif 657-661
(=>
    (instance ?O Omelette)
    (material Egg ?O))
Food.kif 687-689
(=>
    (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 1131-1139
(=>
    (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 720-722
(=>
    (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 4702-4704
(=>
    (instance ?S Sorbet)
    (material Fruit ?S))
Food.kif 880-882
(=>
    (instance ?S Sorbet)
    (material Sugar ?S))
Food.kif 884-886
(=>
    (instance ?S Sorbet)
    (material Water ?S))
Food.kif 876-878
(=>
    (instance ?S String)
    (material Fabric ?S))
Mid-level-ontology.kif 4192-4194
(=>
    (instance ?SAIL Sail)
    (exists (?MAST)
        (and
            (material Fabric ?SAIL)
            (instance ?MAST Mast)
            (connected ?SAIL ?MAST))))
Mid-level-ontology.kif 24467-24473
(=>
    (instance ?SI SolderingIron)
    (exists (?X)
        (and
            (part ?X ?SI)
            (material Metal ?X))))
Mid-level-ontology.kif 5892-5897
(=>
    (instance ?SKI SnowSki)
    (exists (?MAT)
        (and
            (material ?SKI ?MAT)
            (or
                (instance ?MAT Metal)
                (instance ?MAT Wood)
                (instance ?MAT Plastic)))))
Sports.kif 891-899
(=>
    (instance ?W WoodArtifact)
    (material Wood ?W))
Mid-level-ontology.kif 8913-8915
(=>
    (instance ?WC WireCoil)
    (material ConductorSubstance ?WC))
Cars.kif 3043-3045
(=>
    (instance ?WIRE Wire)
    (material Metal ?WIRE))
Mid-level-ontology.kif 4149-4151
(=>
    (instance ?X BedLinen)
    (material Fabric ?X))
Mid-level-ontology.kif 4602-4604
(=>
    (instance ?X BotanicalTree)
    (material Wood ?X))
Mid-level-ontology.kif 9095-9097
(=>
    (instance ?X ElectricalPlug)
    (material Metal ?X))
Mid-level-ontology.kif 23986-23988
(=>
    (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