(=>     (instance ?G Gland)     (material EpithelialTissue ?G))	Merge.kif 15241-15243	Objeto Corpuscular e' uma instancia de Glandula EpithelialTissue e' feito de Objeto Corpuscular
(=>     (instance ?I ResistorElement)     (exists (?S)         (and             (subclass ?S InsulatorSubstance)             (material ?S ?I))))	engineering.kif 855-860	Objeto Corpuscular e' uma instancia de ResistorElement Substancia Substancia e' uma sub-classe de InsulatorSubstance Substancia e' feito de Objeto Corpuscular
(=>     (instance ?IRON FabricIron)     (exists (?BASE)         (and             (bottom ?BASE ?IRON)             (material Metal ?BASE)             (attribute ?BASE Flat))))	Mid-level-ontology.kif 25188-25194	Objeto auto-conectado e' uma instancia de FabricIron Objeto Corpuscular o fundo de Objeto auto-conectado e' Objeto Corpuscular Metal e' feito de Objeto Corpuscular Flat e' um atributo de Objeto Corpuscular
(=>     (instance ?K Ketchup)     (material Tomato ?K))	Food.kif 2615-2617	Objeto Corpuscular e' uma instancia de Ketchup Tomato e' feito de Objeto Corpuscular
(=>     (instance ?L Latte)     (and         (material MilkFoam ?L)         (material Espresso ?L)))	Food.kif 1393-1397	Objeto Corpuscular e' uma instancia de Latte MilkFoam e' feito de Objeto Corpuscular Espresso e' feito de Objeto Corpuscular
(=>     (instance ?L Liqueur)     (material Sugar ?L))	Food.kif 2644-2646	Objeto Corpuscular e' uma instancia de Liqueur Sugar e' feito de Objeto Corpuscular
(=>     (instance ?L LongBlack)     (and         (material Espresso ?L)         (material DrinkingWater ?L)))	Food.kif 1423-1427	Objeto Corpuscular e' uma instancia de LongBlack Espresso e' feito de Objeto Corpuscular DrinkingWater e' feito de Objeto Corpuscular
(=>     (instance ?LAWB LeadAcidWetBattery)     (material ChemicalAcid ?LAWB))	Cars.kif 2467-2469	Objeto Corpuscular e' uma instancia de LeadAcidWetBattery ChemicalAcid e' feito de Objeto Corpuscular
(=>     (instance ?LAWB LeadAcidWetBattery)     (material Lead ?LAWB))	Cars.kif 2463-2465	Objeto Corpuscular e' uma instancia de LeadAcidWetBattery Lead e' feito de Objeto Corpuscular
(=>     (instance ?LAWB LeadAcidWetBattery)     (material PurifiedWater ?LAWB))	Cars.kif 2471-2473	Objeto Corpuscular e' uma instancia de LeadAcidWetBattery PurifiedWater e' feito de Objeto Corpuscular
(=>     (instance ?M Mayonnaise)     (and         (material Oil ?M)         (material EggYolk ?M)))	Food.kif 2664-2668	Objeto Corpuscular e' uma instancia de Mayonnaise Oil e' feito de Objeto Corpuscular EggYolk e' feito de Objeto Corpuscular
(=>     (instance ?M Muscle)     (material MuscleTissue Muscle))	Merge.kif 15253-15255	Entidade e' uma instancia de Musculo MuscleTissue e' feito de Musculo
(=>     (instance ?NC NerveCell)     (material NervousTissue ?NC))	Merge.kif 15266-15268	Objeto Corpuscular e' uma instancia de NerveCell NervousTissue e' feito de Objeto Corpuscular
(=>     (instance ?O Omelette)     (material Egg ?O))	Food.kif 2708-2710	Objeto Corpuscular e' uma instancia de Omelette Egg e' feito de Objeto Corpuscular
(=>     (instance ?O Opium)     (exists (?M)         (and             (instance ?M Morphine)             (material ?M ?O))))	Medicine.kif 6186-6191	Objeto Corpuscular e' uma instancia de Opium Substancia Substancia e' uma instancia de Morphine Substancia e' feito de Objeto Corpuscular
(=>     (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	Objeto Corpuscular e' uma instancia de Objeto Corpuscular Substancia Substancia Substancia e' uma sub-classe de Substancia Substancia e' uma sub-classe de Substancia Substancia e' feito de Objeto Corpuscular Substancia e' feito de Objeto Corpuscular Substancia e' igual a Substancia
(=>     (instance ?OBJ OpticalDisc)     (material Plastic ?OBJ))	Media.kif 1139-1141	Objeto Corpuscular e' uma instancia de OpticalDisc Plastic e' feito de Objeto Corpuscular
(=>     (instance ?OBJ OpticalDisc)     (or         (material Gold ?OBJ)         (material Aluminum ?OBJ)))	Media.kif 1143-1147	Objeto Corpuscular e' uma instancia de OpticalDisc Gold e' feito de Objeto Corpuscular Aluminum e' feito de Objeto Corpuscular
(=>     (instance ?P Pasta)     (material WheatFlour ?P))	Food.kif 2744-2746	Objeto Corpuscular e' uma instancia de Pasta WheatFlour e' feito de Objeto Corpuscular
(=>     (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	Fisico e' uma instancia de Planer Fisico tem por fim Entidade Entidade, Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Cortar Fisico e' um instrumento para Entidade Entidade e' um recurso para Entidade Entidade e' uma instancia de Objeto Entidade e' feito de Wood Entidade e' o resultado de Entidade Entidade e' uma instancia de Objeto Wood e' feito de Entidade Flat e' um atributo de Entidade Entidade e' uma instancia de UnitOfLength a altura de Entidade e' Entidade Entidade(s) a altura de Entidade e' Entidade Entidade(s) Entidade e' maior que Entidade
(=>     (instance ?RV8 RoverV8Engine)     (material Aluminum ?RV8))	Cars.kif 4730-4732	Objeto Corpuscular e' uma instancia de RoverV8Engine Aluminum e' feito de Objeto Corpuscular
(=>     (instance ?S Sorbet)     (material DrinkingWater ?S))	Food.kif 3444-3446	Objeto Corpuscular e' uma instancia de Sorbet DrinkingWater e' feito de Objeto Corpuscular
(=>     (instance ?S Sorbet)     (material Fruit ?S))	Food.kif 3448-3450	Objeto Corpuscular e' uma instancia de Sorbet Fruit e' feito de Objeto Corpuscular
(=>     (instance ?S Sorbet)     (material Sugar ?S))	Food.kif 3452-3454	Objeto Corpuscular e' uma instancia de Sorbet Sugar e' feito de Objeto Corpuscular
(=>     (instance ?S String)     (material Fabric ?S))	Mid-level-ontology.kif 3655-3657	Objeto Corpuscular e' uma instancia de String Tecido e' feito de Objeto Corpuscular
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