(=>     (instance ?ARTIFACT StationaryArtifact)     (exists (?BUILD)         (and             (instance ?BUILD Constructing)             (result ?BUILD ?ARTIFACT))))	Merge.kif 12988-12993	Entidade e' uma instancia de Artefato Estacionario Processo Processo e' uma instancia de Construcao Entidade e' o resultado de Processo
(=>     (instance ?B Basket)     (exists (?W)         (and             (instance ?W Wickering)             (result ?W ?B))))	Mid-level-ontology.kif 4949-4954	Entidade e' uma instancia de Basket Processo Processo e' uma instancia de Wickering Entidade e' o resultado de Processo
(=>     (instance ?B Brandy)     (exists (?D ?W)         (and             (instance ?D Distilling)             (instance ?W Wine)             (resource ?D ?W)             (result ?D ?B))))	Food.kif 3645-3652	Entidade e' uma instancia de Brandy Processo Objeto Processo e' uma instancia de Distilling Objeto e' uma instancia de Wine Objeto e' um recurso para Processo Entidade e' o resultado de Processo
(=>     (instance ?B BreadOrBiscuit)     (exists (?D ?BAKE)         (and             (instance ?D Dough)             (instance ?BAKE Baking)             (resource ?BAKE ?D)             (result ?BAKE ?B))))	Food.kif 1572-1579	Entidade e' uma instancia de BreadOrBiscuit Objeto EntidadeAKE Objeto e' uma instancia de Dough EntidadeAKE e' uma instancia de Baking Objeto e' um recurso para EntidadeAKE Entidade e' o resultado de EntidadeAKE
(=>     (instance ?B Burrow)     (exists (?P ?A)         (and             (instance ?P Process)             (agent ?P ?A)             (instance ?A Animal)             (not                 (instance ?A Human))             (result ?P ?B))))	Geography.kif 6334-6343	Entidade e' uma instancia de Burrow Processo AutonomousAgent Processo e' uma instancia de Processo Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Animal AutonomousAgent e' uma instancia de Humano Entidade e' o resultado de Processo
(=>     (instance ?B Butter)     (exists (?C)         (and             (instance ?C ChurningButter)             (result ?C ?B))))	Food.kif 3108-3113	Entidade e' uma instancia de Butter Processo Processo e' uma instancia de ChurningButter Entidade e' o resultado de Processo
(=>     (instance ?BAKERY Bakery)     (exists (?SERVICE ?FOOD ?BAKE)         (and             (instance ?BAKE Baking)             (result ?BAKE ?FOOD)             (instance ?FOOD                 (FoodForFn Human))             (agent ?BAKE ?BAKERY)             (instance ?SERVICE CommercialService)             (agent ?SERVICE ?BAKERY)             (instance ?SERVICE Selling)             (patient ?SERVICE ?FOOD))))	Dining.kif 70-81	AutonomousAgent e' uma instancia de Bakery Processo Entidade and Processo Processo e' uma instancia de Baking Entidade e' o resultado de Processo Entidade e' uma instancia de FoodForFn Humano Processo e' um agente de AutonomousAgent Processo e' uma instancia de CommercialService Processo e' um agente de AutonomousAgent Processo e' uma instancia de Vender Entidade e' um patient de Processo
(=>     (instance ?BM BestMatchAlgorithm)     (hasPurpose ?BM         (exists (?RESULT)             (and                 (instance ?RESULT SRPResults)                 (result ?BM ?RESULT)))))	UXExperimentalTerms.kif 2293-2299	Fisico e' uma instancia de BestMatchAlgorithm Fisico tem por fim Entidade Entidade e' uma instancia de SRPResults Entidade e' o resultado de Fisico
(=>     (instance ?BRAND Brand)     (exists (?AGENT ?CREATION)         (and             (instance ?CREATION Creation)             (result ?CREATION ?BRAND)             (agent ?CREATION ?AGENT))))	Hotel.kif 1301-1307	Entidade e' uma instancia de Brand AutonomousAgent Processo Processo e' uma instancia de Criacao Entidade e' o resultado de Processo Processo e' um agente de AutonomousAgent
(=>     (instance ?C CalendaringProgram)     (hasPurpose ?C         (exists (?T ?P)             (and                 (instance ?T CalendarText)                 (programRunning ?P ?C)                 (result ?P ?T)))))	ComputingBrands.kif 2320-2327	Fisico e' uma instancia de CalendaringProgram Fisico tem por fim Entidade Entidade Entidade e' uma instancia de CalendarText programRunning Entidade and Fisico Entidade e' o resultado de Entidade
(=>     (instance ?C Cappuccino)     (exists (?E ?M ?P)         (and             (instance ?E Espresso)             (instance ?M MilkFoam)             (instance ?P Pouring)             (patient ?P ?M)             (destination ?P ?E)             (result ?P ?C))))	Food.kif 1270-1279	Entidade e' uma instancia de Cappuccino Entidade Entidade and Processo Entidade e' uma instancia de Espresso Entidade e' uma instancia de MilkFoam Processo e' uma instancia de Pouring Entidade e' um patient de Processo Processo termina em Entidade Entidade e' o resultado de Processo
(=>     (instance ?C Carpentry)     (exists (?B ?W)         (and             (instance ?B Building)             (instance ?W Wood)             (part ?W ?B)             (result ?C ?B))))	Mid-level-ontology.kif 22409-22416	Processo e' uma instancia de Carpentry Objeto Objeto Objeto e' uma instancia de Predio Objeto e' uma instancia de Wood Objeto e' uma &parte de Objeto Objeto e' o resultado de Processo
(=>     (instance ?C Chromatography)     (exists (?S)         (and             (instance ?S PureSubstance)             (result ?C ?S))))	Mid-level-ontology.kif 21228-21233	Processo e' uma instancia de Chromatography Entidade Entidade e' uma instancia de Substancia Pura Entidade e' o resultado de Processo
(=>     (instance ?C ChurningButter)     (hasPurpose ?C         (exists (?M ?R ?B)             (and                 (instance ?M Milk)                 (instance ?R Rotating)                 (patient ?R ?M)                 (result ?R ?B)                 (instance ?B Butter)))))	Food.kif 3072-3081	Fisico e' uma instancia de ChurningButter Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Milk Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade e' o resultado de Entidade Entidade e' uma instancia de Butter
(=>     (instance ?C Clot)     (exists (?CL)         (and             (instance ?CL Clotting)             (result ?CL ?C))))	Mid-level-ontology.kif 11848-11853	Entidade e' uma instancia de Clot EntidadeL EntidadeL e' uma instancia de Clotting Entidade e' o resultado de EntidadeL
(=>     (instance ?C Colander)     (hasPurpose ?C         (exists (?MIX ?SUB ?SOLID ?REMOVE)             (and                 (instance ?MIX Mixture)                 (instance ?SUB Substance)                 (part ?SUB ?MIX)                 (attribute ?SUB Liquid)                 (instance ?REMOVE Removing)                 (patient ?REMOVE ?SUB)                 (instance ?SOLID Substance)                 (part ?SOLID ?MIX)                 (attribute ?SOLID Solid)                 (result ?REMOVE ?SOLID)                 (instrument ?REMOVE ?C)))))	Mid-level-ontology.kif 5015-5030	Fisico e' uma instancia de Colander Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Mistura Entidade e' uma instancia de Substancia Entidade e' uma &parte de Entidade Liquid e' um atributo de Entidade Entidade e' uma instancia de Remover Entidade e' um patient de Entidade Entidade e' uma instancia de Substancia Entidade e' uma &parte de Entidade Solid e' um atributo de Entidade Entidade e' o resultado de Entidade Fisico e' um instrumento para Entidade
(=>     (instance ?C ComposingMusic)     (exists (?M)         (and             (instance ?M MusicalComposition)             (result ?C ?M))))	Mid-level-ontology.kif 3768-3773	Processo e' uma instancia de ComposingMusic Entidade Entidade e' uma instancia de MusicalComposition Entidade e' o resultado de Processo
(=>     (instance ?C ContraceptiveDevice)     (hasPurpose ?C         (exists (?M)             (and                 (instance ?M Mating)                 (patient ?M ?C)                 (not                     (exists (?SR)                         (and                             (instance ?SR BiologicalConception)                             (result ?M ?SR))))))))	Mid-level-ontology.kif 25705-25716	Fisico e' uma instancia de ContraceptiveDevice Fisico tem por fim Entidade Entidade e' uma instancia de Mating Fisico e' um patient de Entidade Entidade Entidade e' uma instancia de BiologicalConception Entidade e' o resultado de Entidade
(=>     (instance ?C Corrosion)     (exists (?S ?R ?P)         (and             (instance ?S Substance)             (patient ?C ?S)             (instance ?R Removing)             (patient ?R ?P)             (part ?P ?S)             (result ?C ?R))))	Transportation.kif 4263-4272	Processo e' uma instancia de Corrosion Objeto Processo and Objeto Objeto e' uma instancia de Substancia Objeto e' um patient de Processo Processo e' uma instancia de Remover Objeto e' um patient de Processo Objeto e' uma &parte de Objeto Processo e' o resultado de Processo
(=>     (instance ?C Cream)     (exists (?CH ?M)         (and             (instance ?CH Separating)             (patient ?CH ?M)             (instance ?M Milk)             (result ?CH Cream))))	Food.kif 3122-3129	Entidade e' uma instancia de Cream EntidadeH Entidade EntidadeH e' uma instancia de Separar Entidade e' um patient de EntidadeH Entidade e' uma instancia de Milk Cream e' o resultado de EntidadeH
(=>     (instance ?C ElectricCoffeeMaker)     (hasPurpose ?C         (exists (?COFFEE ?M)             (and                 (instance ?M CoffeeMaking)                 (instrument ?M ?C)                 (result ?M ?COFFEE)                 (instance ?COFFEE Coffee)))))	Food.kif 379-387	Fisico e' uma instancia de ElectricCoffeeMaker Fisico tem por fim FisicoOFFEE Entidade Entidade e' uma instancia de CoffeeMaking Fisico e' um instrumento para Entidade FisicoOFFEE e' o resultado de Entidade FisicoOFFEE e' uma instancia de Coffee
(=>     (instance ?CG CoffeeGrind)     (exists (?G ?CB)         (and             (instance ?G Grinding)             (patient ?G ?CB)             (instance ?CB CoffeeBean)             (attribute ?CB CookedAttribute)             (result ?G ?CG))))	Food.kif 1035-1043	Entidade e' uma instancia de CoffeeGrind Processo Objeto Processo e' uma instancia de Grinding Objeto e' um patient de Processo Objeto e' uma instancia de CoffeeBean CookedAttribute e' um atributo de Objeto Entidade e' o resultado de Processo
(=>     (instance ?CH Charcoal)     (exists (?C ?W)         (and             (instance ?C Combustion)             (instance ?W Wood)             (result ?C ?CH)             (resource ?C ?W))))	Cars.kif 1681-1688	Entidade e' uma instancia de Charcoal Processo Objeto Processo e' uma instancia de Combustao Objeto e' uma instancia de Wood Entidade e' o resultado de Processo Objeto e' um recurso para Processo
(=>     (instance ?CM CoffeeMaking)     (exists (?C)         (and             (instance ?C Coffee)             (result ?CM ?C))))	Food.kif 657-662	Processo e' uma instancia de CoffeeMaking Entidade Entidade e' uma instancia de Coffee Entidade e' o resultado de Processo
(=>     (instance ?CM CoffeeMaking)     (exists (?R ?LM ?CG ?W ?F ?C)         (and             (subProcess ?R ?CM)             (instance ?R Removing)             (origin ?R ?LM)             (instance ?LM LiquidMixture)             (part ?W ?LM)             (instance ?W DrinkingWater)             (part ?CG ?LM)             (instance ?CG CoffeeGrind)             (instrument ?R ?F)             (instance ?F Filter)             (result ?R ?C)             (instance ?C Coffee))))	Food.kif 686-701	Processo e' uma instancia de CoffeeMaking Processo Objeto, Objeto, Objeto, Objeto and Entidade Processo e' um sub-processo de Processo Processo e' uma instancia de Remover Processo tem como origem Objeto Objeto e' uma instancia de LiquidMixture Objeto e' uma &parte de Objeto Objeto e' uma instancia de DrinkingWater Objeto e' uma &parte de Objeto Objeto e' uma instancia de CoffeeGrind Objeto e' um instrumento para Processo Objeto e' uma instancia de Filter Entidade e' o resultado de Processo Entidade e' uma instancia de Coffee
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