(=>     (instance ?LAWB LeadAcidWetBattery)     (material ChemicalAcid ?LAWB))	Cars.kif 2448-2450	If a corpuscular object is an instance of lead acid battery, then chemical acid is made of the corpuscular object
(=>     (instance ?LAWB LeadAcidWetBattery)     (material Lead ?LAWB))	Cars.kif 2444-2446	If a corpuscular object is an instance of lead acid battery, then lead is made of the corpuscular object
(=>     (instance ?LAWB LeadAcidWetBattery)     (material Water ?LAWB))	Cars.kif 2452-2454	If a corpuscular object is an instance of lead acid battery, then water is made of the corpuscular object
(=>     (instance ?M Mayonnaise)     (and         (material Oil ?M)         (material EggYolk ?M)))	Food.kif 657-661	If a corpuscular object is an instance of Mayonnaise, then oil is made of the corpuscular object and EggYolk is made of the corpuscular object
(=>     (instance ?O Omelette)     (material Egg ?O))	Food.kif 687-689	If a corpuscular object is an instance of Omelette, then egg is made of the corpuscular object
(=>     (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	If a corpuscular object is an instance of corpuscular object, then there exist a kind of substance and another kind of substance such that a kind of substance is a subclass of substance and another kind of substance is a subclass of substance and the kind of substance is made of the corpuscular object and the other kind of substance is made of the corpuscular object and the kind of substance is not equal to the other kind of substance
(=>     (instance ?OBJ OpticalDisc)     (material Plastic ?OBJ))	Media.kif 1143-1145	If a corpuscular object is an instance of OpticalDisc, then plastic is made of the corpuscular object
(=>     (instance ?OBJ OpticalDisc)     (or         (material Gold ?OBJ)         (material Aluminum ?OBJ)))	Media.kif 1147-1151	If a corpuscular object is an instance of OpticalDisc, then gold is made of the corpuscular object or aluminum is made of the corpuscular object
(=>     (instance ?P Pasta)     (material Flour ?P))	Food.kif 720-722	If a corpuscular object is an instance of Pasta, then flour is made of the corpuscular object
(=>     (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	If a physical is an instance of planer, then the physical purpose there exist an entity, another entity and a third entity such that the entity is an instance of cutting and the physical is an instrument for the entity and the other entity is a resource for the entity and the other entity is an instance of object and the other entity is made of wood and the third entity is a result of the entity and the third entity is an instance of object and the third entity is made of wood and flat is an attribute of the third entity and the height of the other entity is a fourth entity and the height of the third entity is a fifth entity and the fourth entity is greater than the fifth entity
(=>     (instance ?RV8 RoverV8Engine)     (material Aluminum ?RV8))	Cars.kif 4702-4704	If a corpuscular object is an instance of Rover v8, then aluminum is made of the corpuscular object
(=>     (instance ?S Sorbet)     (material Fruit ?S))	Food.kif 880-882	If a corpuscular object is an instance of Sorbet, then fruit is made of the corpuscular object
(=>     (instance ?S Sorbet)     (material Sugar ?S))	Food.kif 884-886	If a corpuscular object is an instance of Sorbet, then sugar is made of the corpuscular object
(=>     (instance ?S Sorbet)     (material Water ?S))	Food.kif 876-878	If a corpuscular object is an instance of Sorbet, then water is made of the corpuscular object
(=>     (instance ?S String)     (material Fabric ?S))	Mid-level-ontology.kif 4192-4194	If a corpuscular object is an instance of string, then fabric is made of the corpuscular object
(=>     (instance ?SAIL Sail)     (exists (?MAST)         (and             (material Fabric ?SAIL)             (instance ?MAST Mast)             (connected ?SAIL ?MAST))))	Mid-level-ontology.kif 24467-24473	If a corpuscular object is an instance of sail, then there exists an object such that fabric is made of the corpuscular object and the object is an instance of mast and the corpuscular object is connected to the object
(=>     (instance ?SI SolderingIron)     (exists (?X)         (and             (part ?X ?SI)             (material Metal ?X))))	Mid-level-ontology.kif 5892-5897	If an object is an instance of soldering iron, then there exists a corpuscular object such that the corpuscular object is a part of the object and metal is made of the corpuscular object
(=>     (instance ?SKI SnowSki)     (exists (?MAT)         (and             (material ?SKI ?MAT)             (or                 (instance ?MAT Metal)                 (instance ?MAT Wood)                 (instance ?MAT Plastic)))))	Sports.kif 891-899	If a kind of substance is an instance of ski, then there exists a corpuscular object such that a kind of substance is made of the corpuscular object and the corpuscular object is an instance of metal or the corpuscular object is an instance of wood or the corpuscular object is an instance of plastic
(=>     (instance ?W WoodArtifact)     (material Wood ?W))	Mid-level-ontology.kif 8913-8915	If a corpuscular object is an instance of wood product, then wood is made of the corpuscular object
(=>     (instance ?WC WireCoil)     (material ConductorSubstance ?WC))	Cars.kif 3043-3045	If a corpuscular object is an instance of wire coil, then conductor substance is made of the corpuscular object
(=>     (instance ?WIRE Wire)     (material Metal ?WIRE))	Mid-level-ontology.kif 4149-4151	If a corpuscular object is an instance of wire, then metal is made of the corpuscular object
(=>     (instance ?X BedLinen)     (material Fabric ?X))	Mid-level-ontology.kif 4602-4604	If a corpuscular object is an instance of bed linen, then fabric is made of the corpuscular object
(=>     (instance ?X BotanicalTree)     (material Wood ?X))	Mid-level-ontology.kif 9095-9097	If a corpuscular object is an instance of botanical tree, then wood is made of the corpuscular object
(=>     (instance ?X ElectricalPlug)     (material Metal ?X))	Mid-level-ontology.kif 23986-23988	If a corpuscular object is an instance of electrical plug, then metal is made of the corpuscular object
(=>     (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	If a corpuscular object is an instance of hammock, then fabric is made of the corpuscular object and there exist an object, another object and a third object such that the object is near to the other object and the object is connected to the corpuscular object and the other object is connected to the corpuscular object and the third object is an instance of land area and the corpuscular object is located at the third object and the corpuscular object is above to the third object
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