(=>     (instance ?B BrushOrComb)     (hasPurpose ?B         (exists (?S)             (and                 (or                     (instance ?S Removing)                     (instance ?S SurfaceChange))                 (instrument ?S ?B)))))	Mid-level-ontology.kif 1924-1932	Fisico e' uma instancia de BrushOrComb Fisico tem por fim Entidade Entidade e' uma instancia de Remover Entidade e' uma instancia de Mudanca Superficial Fisico e' um instrumento para Entidade
(=>     (instance ?B Bullet)     (hasPurpose ?B         (exists (?S ?GUN)             (and                 (instance ?S Shooting)                 (instrument ?S ?GUN)                 (instance ?GUN Gun)                 (patient ?S ?B)))))	Mid-level-ontology.kif 1184-1192	Fisico e' uma instancia de Bullet Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Atirar Entidade e' um instrumento para Entidade Entidade e' uma instancia de Gun Fisico e' um patient de Entidade
(=>     (instance ?B Burrow)     (exists (?A)         (hasPurpose ?B             (inhabits ?A ?B))))	Geography.kif 6042-6046	Fisico e' uma instancia de Burrow Entidade Fisico tem por fim Entidade vive em Fisico
(=>     (instance ?B Bus)     (hasPurpose ?B         (exists (?C ?T ?N ?P)             (and                 (instance ?C Collection)                 (instance ?T Transportation)                 (memberCount ?C ?N)                 (greaterThan ?N 11)                 (=>                     (member ?P ?C)                     (patient ?T ?P))))))	Transportation.kif 1972-1983	Fisico e' uma instancia de Bus Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Colecao Entidade e' uma instancia de Transporte memberCount Entidade and Entidade Entidade e' maior que 11 Entidade e' membro de Entidade Entidade e' um patient de Entidade
(=>     (instance ?B Button)     (hasPurpose ?B         (exists (?C)             (and                 (instance ?C Clothing)                 (part ?B ?C)))))	Mid-level-ontology.kif 4264-4270	Fisico e' uma instancia de Button Fisico tem por fim Entidade Entidade e' uma instancia de Roupa Fisico e' uma &parte de Entidade
(=>     (instance ?B Mailbox)     (hasPurpose ?B         (exists (?M ?I)             (and                 (instance ?M Mailing)                 (patient ?M ?I)                 (destination ?M ?B)))))	Mid-level-ontology.kif 4180-4187	Fisico e' uma instancia de Mailbox Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Mailing Entidade e' um patient de Entidade Entidade termina em Fisico
(=>     (instance ?B Warehouse)     (hasPurpose ?B         (exists (?K ?P)             (and                 (instance ?K Keeping)                 (patient ?K ?P)                 (instance ?P Product)                 (eventLocated ?K ?B)))))	Mid-level-ontology.kif 7053-7061	Fisico e' uma instancia de Warehouse Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Manter Entidade e' um patient de Entidade Entidade e' uma instancia de Produto eventLocated Entidade and Fisico
(=>     (instance ?B WashBasin)     (hasPurpose ?B         (exists (?W ?H)             (and                 (instance ?W Washing)                 (instrument ?W ?B)                 (patient ?W ?H)                 (instance ?H Hand)))))	Mid-level-ontology.kif 8886-8894	Fisico e' uma instancia de WashBasin Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Washing Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Hand
(=>     (instance ?BA BleedingAir)     (hasPurpose ?BA         (exists (?FC ?A)             (and                 (instance ?FC FluidContainer)                 (instance ?A Air)                 (holdsDuring                     (ImmediatePastFn ?BA)                     (contains ?FC ?A))                 (holdsDuring                     (ImmediateFutureFn ?BA)                     (not                         (contains ?FC ?A)))))))	Cars.kif 1519-1529	Fisico e' uma instancia de BleedingAir Fisico tem por fim Entidade Entidade Entidade e' uma instancia de FluidContainer Entidade e' uma instancia de Air Entidade contem Entidade vale durante imediatemente antes de Fisico Entidade nao contem %n Entidade vale durante imediatemente apos Fisico
(=>     (instance ?BAG Bag)     (hasPurpose ?BAG         (exists (?T ?OBJ)             (and                 (instance ?T Transfer)                 (instance ?OBJ Object)                 (contains ?BAG ?OBJ)                 (instrument ?T ?BAG)                 (patient ?T ?OBJ)))))	Mid-level-ontology.kif 4461-4470	Fisico e' uma instancia de Bag Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Transferencia Entidade e' uma instancia de Objeto Fisico contem Entidade Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade
(=>     (instance ?BALL SoccerBall)     (hasPurpose ?BALL         (exists (?S ?K)             (and                 (instance ?S Soccer)                 (instance ?K Kicking)                 (subProcess ?K ?S)                 (patient ?K ?BALL)))))	Sports.kif 313-321	Fisico e' uma instancia de SoccerBall Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Soccer Entidade e' uma instancia de Kicking Entidade e' um sub-processo de Entidade Fisico e' um patient de Entidade
(=>     (instance ?BC BrakeCaliper)     (hasPurpose ?BC         (exists (?B)             (and                 (instance ?B Braking)                 (instrument ?B ?BC)))))	Cars.kif 1577-1583	Fisico e' uma instancia de BrakeCaliper Fisico tem por fim Entidade Entidade e' uma instancia de Braking Fisico e' um instrumento para Entidade
(=>     (instance ?BC BrakeCaliper)     (hasPurpose ?BC         (exists (?P ?W)             (and                 (instance ?P Pushing)                 (instrument ?P ?BC)                 (patient ?P ?W)                 (instance ?W WearingFrictionSurface)))))	Cars.kif 1567-1575	Fisico e' uma instancia de BrakeCaliper Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Pushing Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de WearingFrictionSurface
(=>     (instance ?BD BathingDevice)     (hasPurpose ?BD         (exists (?B ?P)             (and                 (instance ?B Bathing)                 (instrument ?B ?BD)                 (patient ?B ?P)                 (instance ?P Human)))))	Mid-level-ontology.kif 8872-8880	Fisico e' uma instancia de BathingDevice Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Bathing Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Humano
(=>     (instance ?BED Bed)     (hasPurpose ?BED         (exists (?PERSON)             (and                 (attribute ?PERSON Asleep)                 (located ?PERSON ?BED)))))	Mid-level-ontology.kif 3772-3777	Fisico e' uma instancia de Bed Fisico tem por fim Entidade Dormindo e' um atributo de Entidade Entidade e' situado em Fisico
(=>     (instance ?BF BowlingFacility)     (hasPurpose ?BF         (exists (?B)             (and                 (instance ?B Bowling)                 (eventLocated ?B ?BF)))))	Sports.kif 1171-1177	Fisico e' uma instancia de BowlingFacility Fisico tem por fim Entidade Entidade e' uma instancia de Bowling eventLocated Entidade and Fisico
(=>     (instance ?BL BowlingLane)     (hasPurpose ?BL         (exists (?TR ?BALL)             (and                 (instance ?TR Translocation)                 (instance ?BALL BowlingBall)                 (patient ?TR ?BALL)                 (path ?TR ?BL)))))	Sports.kif 1147-1155	Fisico e' uma instancia de BowlingLane Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Translocation Entidade e' uma instancia de BowlingBall Entidade e' um patient de Entidade Fisico e' o caminho ao longo do qual Entidade ocorre
(=>     (instance ?BLANKET Blanket)     (hasPurpose ?BLANKET         (exists (?HEAT ?PERSON ?BED)             (and                 (instance ?HEAT Heating)                 (patient ?HEAT ?PERSON)                 (instance ?PERSON Human)                 (located ?PERSON ?BED)                 (instance ?BED Bed)))))	Mid-level-ontology.kif 5434-5443	Fisico e' uma instancia de Blanket Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Aquecer Entidade e' um patient de Entidade Entidade e' uma instancia de Humano Entidade e' situado em Entidade Entidade e' uma instancia de Bed
(=>     (instance ?BM BestMatchAlgorithm)     (hasPurpose ?BM         (exists (?QUERY ?SEARCHATTEMPT ?OBJECT ?AGENT)             (and                 (instance ?QUERY SearchQuery)                 (instance ?SEARCHATTEMPT SearchAttempt)                 (represents ?QUERY ?SEARCHATTEMPT)                 (patient ?BM ?QUERY)                 (instance ?AGENT AutonomousAgent)                 (patient ?SEARCHATTEMPT ?OBJECT)                 (agent ?SEARCHATTEMPT ?AGENT)))))	UXExperimentalTerms.kif 2301-2312	Fisico e' uma instancia de BestMatchAlgorithm Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de SearchQuery Entidade e' uma instancia de SearchAttempt Entidade define Entidade Entidade e' um patient de Fisico Entidade e' uma instancia de AutonomousAgent Entidade e' um patient de Entidade Entidade e' um agente de Entidade
(=>     (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 ?BM BestMatchAlgorithm)     (hasPurpose ?BM         (exists (?SEARCHENGINE)             (and                 (instance ?SEARCHENGINE SearchEngine)                 (agent ?BM ?SEARCHENGINE)))))	UXExperimentalTerms.kif 2277-2283	Fisico e' uma instancia de BestMatchAlgorithm Fisico tem por fim Entidade Entidade e' uma instancia de SearchEngine Fisico e' um agente de Entidade
(=>     (instance ?BM BestMatchAlgorithm)     (hasPurpose ?BM         (exists (?SearchQuery)             (and                 (instance ?SearchQuery SearchQuery)                 (patient ?BM ?SearchQuery)))))	UXExperimentalTerms.kif 2285-2291	Fisico e' uma instancia de BestMatchAlgorithm Fisico tem por fim Entidade Entidade e' uma instancia de SearchQuery Entidade e' um patient de Fisico
(=>     (instance ?BMC BrakeMasterCylinder)     (hasPurpose ?BMC         (exists (?BS)             (and                 (instance ?BS BrakeSystem)                 (part ?BMC ?BS)))))	Cars.kif 1629-1635	Fisico e' uma instancia de BrakeMasterCylinder Fisico tem por fim Entidade Entidade e' uma instancia de BrakeSystem Fisico e' uma &parte de Entidade
(=>     (instance ?BOARD GameBoard)     (hasPurpose ?BOARD         (exists (?GAME)             (and                 (instance ?GAME Game)                 (eventLocated ?GAME ?BOARD)))))	Mid-level-ontology.kif 16991-16997	Fisico e' uma instancia de GameBoard Fisico tem por fim Entidade Entidade e' uma instancia de Jogo eventLocated Entidade and Fisico
(=>     (instance ?BOARD IroningBoard)     (hasPurpose ?BOARD         (exists (?IRON ?FABRIC ?OBJ)             (and                 (instance ?IRON Ironing)                 (patient ?IRON ?OBJ)                 (part ?FABRIC ?OBJ)                 (instance ?FABRIC Fabric)                 (holdsDuring                     (WhenFn ?IRON)                     (orientation ?OBJ ?BOARD On))))))	Mid-level-ontology.kif 25201-25212	Fisico e' uma instancia de IroningBoard Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Ironing Entidade e' um patient de Entidade Entidade e' uma &parte de Entidade Entidade e' uma instancia de Tecido Entidade e' On em relacao a Fisico vale durante tempo de existencia de Entidade
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