(=>     (holdsDuring ?T         (attribute ?X SafetyPosition))     (holdsDuring ?T         (hasPurpose ?X             (exists (?P ?H ?I ?T2)                 (and                     (instance ?H Human)                     (instance ?P Process)                     (patient ?P ?H)                     (agent ?P ?X)                     (prevents ?P                         (KappaFn ?I                             (and                                 (instance ?I Injuring)                                 (=>                                     (holdsDuring ?T2                                         (experiencer ?I ?H))                                     (not                                         (holdsDuring ?T2                                             (patient ?P ?H))))))))))))	Mid-level-ontology.kif 30695-30715	SafetyPosition e' um atributo de Entidade vale durante Posicao Temporal Entidade tem por fim Entidade Entidade, Entidade and Posicao Temporal2 Entidade e' uma instancia de Humano Entidade e' uma instancia de Processo Entidade e' um patient de Entidade Entidade e' um agente de Entidade Entidade proibe a ocurrencia de a classe descrita por Entidade vale durante Posicao Temporal
(=>     (holdsDuring ?TIME         (attribute ?T Tourniquet))     (exists (?P ?B ?A)         (and             (instance ?P Human)             (instance ?B Bleeding)             (instance ?A Attaching)             (experiencer ?B ?P)             (destination ?A ?P)             (objectTransferred ?A ?T)             (hasPurpose ?T                 (not                     (exists (?B2)                         (and                             (instance ?B2 Bleeding)                             (overlapsTemporally                                 (WhenFn ?B2)                                 (ImmediateFutureFn                                     (WhenFn ?A)))                             (experiencer ?B2 ?P))))))))	Medicine.kif 20-39	Tourniquet e' um atributo de Objeto vale durante ObjetoIME AutonomousAgent Processo and Transferencia AutonomousAgent e' uma instancia de Humano Processo e' uma instancia de Bleeding Transferencia e' uma instancia de Colar AutonomousAgent experimenta Processo Transferencia termina em AutonomousAgent objectTransferred Transferencia and Objeto Objeto tem por fim Processo2 Processo2 e' uma instancia de Bleeding imediatemente apos tempo de existencia de Transferencia engloba tempo de existencia de Processo2 AutonomousAgent experimenta Processo2
(=>     (instance ?A Ambulance)     (hasPurpose ?A         (exists (?P ?T)             (and                 (instance ?P Human)                 (or                     (attribute ?P DiseaseOrSyndrome)                     (exists (?I ?H)                         (and                             (instance ?I Injuring)                             (experiencer ?I ?H)                             (before ?I ?T))))                 (instance ?T Transportation)                 (instrument ?T ?A)                 (patient ?T ?H)))))	Transportation.kif 1906-1921	Fisico e' uma instancia de Ambulance Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Humano Doenca ou Sindrome e' um atributo de Entidade Entidade Entidade Entidade e' uma instancia de Ferir Entidade experimenta Entidade Entidade comeca antes de Entidade Entidade e' uma instancia de Transporte Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade
(=>     (instance ?A Anesthesia)     (hasPurpose ?A         (exists (?P)             (and                 (instance ?P Anesthetizing)                 (resource ?P ?A)))))	Medicine.kif 1033-1039	Fisico e' uma instancia de Anesthesia Fisico tem por fim Entidade Entidade e' uma instancia de Anesthetizing Fisico e' um recurso para Entidade
(=>     (instance ?A Anticoagulant)     (hasPurpose ?A         (exists (?M)             (and                 (instance ?M Mammal)                 (experiencer ?M                     (ImpairmentFn Clotting))))))	Medicine.kif 4853-4860	Fisico e' uma instancia de Anticoagulant Fisico tem por fim Entidade Entidade e' uma instancia de Mamifero ImpairmentFn Clotting experimenta Entidade
(=>     (instance ?A Antiseizure)     (hasPurpose ?A         (exists (?H ?I ?T)             (and                 (instance ?H Human)                 (instance ?I Ingesting)                 (objectTransferred ?I ?A)                 (agent ?I ?H)                 (earlier                     (WhenFn ?I) ?T)                 (holdsDuring ?T                     (not                         (exists (?S)                             (and                                 (instance ?S Seizure)                                 (experiencer ?S ?H)))))))))	Medicine.kif 3317-3332	Fisico e' uma instancia de Antiseizure Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de Ingerir objectTransferred Entidade and Fisico Entidade e' um agente de Entidade tempo de existencia de Entidade acontence antes de Entidade Entidade Entidade e' uma instancia de Seizure Entidade experimenta Entidade vale durante Entidade
(=>     (instance ?A App)     (hasPurpose ?A         (exists (?A ?P ?C)             (and                 (instance ?C MobileCellPhone)                 (instance ?P ComputerProcess)                 (programRunning ?P ?A)                 (computerRunning ?P ?C)))))	ComputingBrands.kif 1960-1968	Fisico e' uma instancia de App Fisico tem por fim Fisico Entidade and Entidade Entidade e' uma instancia de MobileCellPhone Entidade e' uma instancia de ComputerProcess programRunning Entidade and Fisico computerRunning Entidade and Entidade
(=>     (instance ?A Apron)     (hasPurpose ?A         (exists (?P ?C)             (and                 (instance ?C Cooking)                 (agent ?C ?P)                 (holdsDuring                     (WhenFn ?C)                     (wears ?P ?A))))))	Mid-level-ontology.kif 5056-5065	Fisico e' uma instancia de Apron Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Cozinhar Entidade e' um agente de Entidade Entidade usa Fisico vale durante tempo de existencia de Entidade
(=>     (instance ?A AutomobileShock)     (hasPurpose ?A         (exists (?C)             (and                 (instance ?C Automobile)                 (part ?A ?C)))))	Cars.kif 845-851	Fisico e' uma instancia de AutomobileShock Fisico tem por fim Entidade Entidade e' uma instancia de Automobile Fisico e' uma &parte de Entidade
(=>     (instance ?A InjectedAntibiotic)     (hasPurpose ?A         (exists (?I)             (and                 (instance ?I Injecting)                 (objectTransferred ?I ?A)))))	Medicine.kif 1347-1353	Fisico e' uma instancia de InjectedAntibiotic Fisico tem por fim Entidade Entidade e' uma instancia de Injecting objectTransferred Entidade and Fisico
(=>     (instance ?A MilitaryArtifact)     (hasPurpose ?A         (exists (?O)             (and                 (instance ?O MilitaryOrganization)                 (uses ?A ?O)))))	Mid-level-ontology.kif 17832-17838	Fisico e' uma instancia de MilitaryArtifact Fisico tem por fim Entidade Entidade e' uma instancia de MilitaryOrganization Entidade usa Fisico
(=>     (instance ?AC AlarmClock)     (hasPurpose ?AC         (exists (?TIME ?M ?Q)             (and                 (instance ?M Measuring)                 (agent ?M ?AC)                 (result ?M ?Q)                 (equal ?Q ?TIME)                 (holdsDuring                     (WhenFn ?M)                     (exists (?S)                         (and                             (instance ?S RadiatingSound)                             (agent ?S ?AC))))))))	Mid-level-ontology.kif 25529-25543	Fisico e' uma instancia de AlarmClock Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Medir Entidade e' um agente de Fisico Entidade e' o resultado de Entidade Entidade e' igual a Entidade Entidade Entidade e' uma instancia de Som Irradiante Entidade e' um agente de Fisico vale durante tempo de existencia de Entidade
(=>     (instance ?AC AnimalController)     (hasPurpose ?AC         (exists (?G ?A)             (and                 (instance ?G Guiding)                 (instrument ?G ?AC)                 (instance ?A Animal)                 (patient ?G ?A)))))	Mid-level-ontology.kif 2739-2747	Fisico e' uma instancia de AnimalController Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Guiar Fisico e' um instrumento para Entidade Entidade e' uma instancia de Animal Entidade e' um patient de Entidade
(=>     (instance ?ACC AirConditioningCompressor)     (hasPurpose ?ACC         (exists (?C)             (and                 (instance ?C Cooling)                 (instrument ?C ?ACC)))))	Cars.kif 2015-2021	Fisico e' uma instancia de AirConditioningCompressor Fisico tem por fim Entidade Entidade e' uma instancia de Resfriar Fisico e' um instrumento para Entidade
(=>     (instance ?ACC AirConditioningCondenser)     (hasPurpose ?ACC         (exists (?C)             (and                 (instance ?C Condensing)                 (instrument ?C ?ACC)))))	Cars.kif 2067-2073	Fisico e' uma instancia de AirConditioningCondenser Fisico tem por fim Entidade Entidade e' uma instancia de Condensar Fisico e' um instrumento para Entidade
(=>     (instance ?ACC AirConditioningCondenser)     (hasPurpose ?ACC         (exists (?C)             (and                 (instance ?C Cooling)                 (instrument ?C ?ACC)))))	Cars.kif 2059-2065	Fisico e' uma instancia de AirConditioningCondenser Fisico tem por fim Entidade Entidade e' uma instancia de Resfriar Fisico e' um instrumento para Entidade
(=>     (instance ?ACE AirConditioningEvaporator)     (hasPurpose ?ACE         (exists (?C)             (and                 (instance ?C Cooling)                 (instrument ?C ?ACE)))))	Cars.kif 2083-2089	Fisico e' uma instancia de AirConditioningEvaporator Fisico tem por fim Entidade Entidade e' uma instancia de Resfriar Fisico e' um instrumento para Entidade
(=>     (instance ?ACE AirConditioningEvaporator)     (hasPurpose ?ACE         (exists (?E)             (and                 (instance ?E Evaporating)                 (instrument ?E ?ACE)))))	Cars.kif 2091-2097	Fisico e' uma instancia de AirConditioningEvaporator Fisico tem por fim Entidade Entidade e' uma instancia de Evaporating Fisico e' um instrumento para Entidade
(=>     (instance ?ADAPT OutletAdapter)     (hasPurpose ?ADAPT         (exists (?OUTLET ?PLUG)             (and                 (instance ?PLUG ElectricalPlug)                 (instance ?OUTLET ElectricalOutlet)                 (completelyFills ?PLUG ?ADAPT)                 (completelyFills ?ADAPT ?OUTLET)                 (connectsEngineeringComponents ?ADAPT ?PLUG ?OUTLET)))))	Mid-level-ontology.kif 25965-25974	Fisico e' uma instancia de OutletAdapter Fisico tem por fim Entidade Entidade Entidade e' uma instancia de ElectricalPlug Entidade e' uma instancia de ElectricalOutlet Entidade completa completemente Fisico Fisico completa completemente Entidade Fisico conecta Entidade e Entidade
(=>     (instance ?ADVERT Advertising)     (exists (?OBJ)         (and             (refers ?ADVERT ?OBJ)             (hasPurpose ?ADVERT                 (exists (?SALE)                     (and                         (instance ?SALE Selling)                         (patient ?SALE ?OBJ)))))))	Merge.kif 13123-13128	Fisico e' uma instancia de Promover Entidade Fisico inclui uma referencia a Entidade Fisico tem por fim Entidade Entidade e' uma instancia de Vender Entidade e' um patient de Entidade
(=>     (instance ?AERATOR Aerator)     (hasPurpose ?AERATOR         (exists (?COMBINE ?AIR)             (and                 (instance ?COMBINE Combining)                 (resource ?COMBINE ?AIR)                 (instance ?AIR Air)                 (instrument ?COMBINE ?AERATOR)))))	Mid-level-ontology.kif 1886-1894	Fisico e' uma instancia de Aerator Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Combinar Entidade e' um recurso para Entidade Entidade e' uma instancia de Air Fisico e' um instrumento para Entidade
(=>     (instance ?AGENT BlisterAgent)     (hasPurpose ?AGENT         (exists (?DAMAGE ?TISSUE)             (and                 (instance ?DAMAGE Damaging)                 (instance ?TISSUE Tissue)                 (patient ?DAMAGE ?TISSUE)))))	WMD.kif 483-490	Fisico e' uma instancia de BlisterAgent Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Causar Dano Entidade e' uma instancia de Tecido Entidade e' um patient de Entidade
(=>     (instance ?AI AirIntake)     (hasPurpose ?AI         (exists (?A ?E ?T)             (and                 (instance ?A Air)                 (instance ?E Engine)                 (instance ?T Transfer)                 (origin ?T ?AI)                 (destination ?T ?E)                 (patient ?T ?A)))))	Cars.kif 973-983	Fisico e' uma instancia de AirIntake Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Air Entidade e' uma instancia de Engine Entidade e' uma instancia de Transferencia Entidade tem como origem Fisico Entidade termina em Entidade Entidade e' um patient de Entidade
(=>     (instance ?AI AirIntake)     (hasPurpose ?AI         (exists (?A)             (and                 (instance ?A Air)                 (contains ?AI ?A)))))	Cars.kif 965-971	Fisico e' uma instancia de AirIntake Fisico tem por fim Entidade Entidade e' uma instancia de Air Fisico contem Entidade
(=>     (instance ?AIRLINE Airline)     (hasPurpose ?AIRLINE         (exists (?AIR)             (and                 (instance ?AIR AirTransportationService)                 (serviceProvider ?AIR ?AIRLINE)))))	Transportation.kif 3304-3310	Fisico e' uma instancia de Airline Fisico tem por fim Entidade Entidade e' uma instancia de AirTransportationService serviceProvider Entidade and Fisico
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