(=>     (ingredient ?ING ?S)     (exists (?PROC ?X ?Y)         (and             (instance ?PROC Process)             (instance ?X ?ING)             (patient ?PROC ?X)             (instance ?Y ?S)             (result ?PROC ?Y))))	Merge.kif 1226-1234	ingredient Substancia and Classe Processo Entidade and Entidade Processo e' uma instancia de Processo Entidade e' uma instancia de Substancia Entidade e' um patient de Processo Entidade e' uma instancia de Classe Entidade e' o resultado de Processo
(=>     (ingredientAmount ?ING ?FOOD ?AMT)     (exists (?PROC ?X ?Y)         (and             (instance ?X ?ING)             (measure ?X ?AMT)             (instance ?Y ?FOOD)             (instance ?PROC Process)             (patient ?PROC ?X)             (result ?PROC ?Y))))	Food.kif 1666-1675	ingredientAmount Objeto auto-conectado, Objeto auto-conectado and Quantidade Fisica Processo Fisico and Entidade Fisico e' uma instancia de Objeto auto-conectado a medida de Fisico e' Quantidade Fisica Entidade e' uma instancia de Objeto auto-conectado Processo e' uma instancia de Processo Fisico e' um patient de Processo Entidade e' o resultado de Processo
(=>     (instance ?A Awarding)     (exists (?RECIPIENT ?GIVER ?PROCESS ?AWARD)         (and             (instance ?RECIPIENT AutonomousAgent)             (instance ?GIVER AutonomousAgent)             (instance ?PROCESS Process)             (instance ?AWARD Object)             (agent ?PROCESS ?RECIPIENT)             (agent ?A ?GIVER)             (patient ?A ?AWARD)             (destination ?A ?RECIPIENT)             (causes ?PROCESS ?A))))	Mid-level-ontology.kif 20216-20228	Processo e' uma instancia de Awarding AutonomousAgent AutonomousAgent, Processo and ProcessoWARD AutonomousAgent e' uma instancia de AutonomousAgent AutonomousAgent e' uma instancia de AutonomousAgent Processo e' uma instancia de Processo ProcessoWARD e' uma instancia de Objeto Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent ProcessoWARD e' um patient de Processo Processo termina em AutonomousAgent Processo causa Processo
(=>     (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 ?BRD BusinessRequirementDocument)     (exists (?PLAN ?BU ?PROC)         (and             (instance ?PLAN Plan)             (instance ?BU Business)             (instance ?PROC Process)             (represents ?PLAN ?PROC)             (desires ?BU ?PROC)             (containsInformation ?BRD ?PLAN))))	UXExperimentalTerms.kif 2596-2605	ContentBearingPhysical e' uma instancia de BusinessRequirementDocument Proposicao Agente Cognitivo and Formula Proposicao e' uma instancia de Plano Agente Cognitivo e' uma instancia de Business Formula e' uma instancia de Processo Proposicao define Formula Agente Cognitivo deseja Formula ContentBearingPhysical contem informacao Proposicao
(=>     (instance ?CHECK CheckInService)     (exists (?AGENT ?CUST ?GREET ?SERVICE)         (and             (customer ?CUST ?AGENT)             (serviceProvider ?CHECK ?AGENT)             (instance ?GREET Greeting)             (agent ?GREET ?CUST)             (destination ?GREET ?AGENT)             (subProcess ?GREET ?CHECK)             (instance ?SERVICE Process)             (agent ?SERVICE ?AGENT)             (causes ?CHECK ?SERVICE))))	Hotel.kif 2165-2177	ServiceProcess e' uma instancia de CheckInService Agente Cognitivo Agente Cognitivo, Processo and Processo customer Agente Cognitivo and Agente Cognitivo serviceProvider ServiceProcess and Agente Cognitivo Processo e' uma instancia de Greeting Processo e' um agente de Agente Cognitivo Processo termina em Agente Cognitivo Processo e' um sub-processo de ServiceProcess Processo e' uma instancia de Processo Processo e' um agente de Agente Cognitivo ServiceProcess causa Processo
(=>     (instance ?CTRL TemperatureControl)     (exists (?DEVICE ?TEMP)         (and             (instance ?DEVICE ElectricDevice)             (part ?CTRL ?DEVICE)             (hasPurpose ?DEVICE                 (exists (?PROC ?AREA)                     (and                         (instance ?AREA Region)                         (instance ?PROC Process)                         (instrument ?PROC ?CTRL)                         (result ?PROC                             (airTemperature ?AREA ?TEMP))))))))	engineering.kif 1452-1464	Objeto e' uma instancia de TemperatureControl Objeto Entidade Objeto e' uma instancia de ElectricDevice Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade Entidade e' uma instancia de Regiao Entidade e' uma instancia de Processo Objeto e' um instrumento para Entidade airTemperature Entidade and Entidade e' o resultado de Entidade
(=>     (instance ?ECM EngineControlModule)     (hasPurpose ?ECM         (exists (?A ?E ?P1 ?P2)             (and                 (instance ?A Automobile)                 (instance ?E Engine)                 (instance ?P1 Process)                 (instance ?P2 Process)                 (part ?E ?A)                 (part ?ECM ?A)                 (eventLocated ?P1 ?ECM)                 (eventLocated ?P2 ?E)                 (causes ?P1 ?P2)))))	Cars.kif 2503-2516	Fisico e' uma instancia de EngineControlModule Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Automobile Entidade e' uma instancia de Engine Entidade e' uma instancia de Processo Entidade e' uma instancia de Processo Entidade e' uma &parte de Entidade Fisico e' uma &parte de Entidade eventLocated Entidade and Fisico eventLocated Entidade and Entidade Entidade causa Entidade
(=>     (instance ?EXPERIMENT Experimenting)     (exists (?QUALIFYING_EVENTS)         (and             (instance ?QUALIFYING_EVENTS Collection)             (forall (?EVENT)                 (=>                     (and                         (instance ?EVENT Process)                         (or                             (experimentalControlProcess ?EXPERIMENT ?EVENT)                             (experimentalVariableProcess ?EXPERIMENT ?EVENT)))                     (member ?EVENT ?QUALIFYING_EVENTS)))             (equal                 (QualifyingEventsFn ?EXPERIMENT) ?QUALIFYING_EVENTS))))	UXExperimentalTerms.kif 4208-4223	Experimenting e' uma instancia de Experimenting Entidade_EVENTS Entidade_EVENTS e' uma instancia de Colecao Processo Processo e' uma instancia de Processo experimentalControlProcess Experimenting and Processo experimentalVariableProcess Experimenting and Processo Processo e' membro de Entidade_EVENTS equal QualifyingEventsFn Experimenting and Entidade_EVENTS
(=>     (instance ?F Facility)     (hasPurpose ?F         (exists (?P)             (and                 (instance ?P Process)                 (eventLocated ?P ?F)))))	Mid-level-ontology.kif 7698-7704	Fisico e' uma instancia de Facility Fisico tem por fim Entidade Entidade e' uma instancia de Processo eventLocated Entidade and Fisico
(=>     (instance ?G Generator)     (hasPurpose ?G         (exists (?P ?E)             (and                 (instance ?P Process)                 (instance ?E Electricity)                 (result ?P ?E)                 (instrument ?P ?G)))))	Cars.kif 1194-1202	Fisico e' uma instancia de Generator Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Processo Entidade e' uma instancia de Electricity Entidade e' o resultado de Entidade Fisico e' um instrumento para Entidade
(=>     (instance ?GAS GoodsAndServices)     (and         (instance ?GPA GeopoliticalArea)         (=>             (and                 (instance ?M Manufacture)                 (result ?M ?PRODUCT)                 (agent ?M ?MAKER)                 (member ?MAKER                     (CitizenryFn ?GPA))                 (finishesDuring                     (WhenFn ?M) ?Y)                 (located ?M ?GPA))             (member ?PRODUCT ?GAS))         (=>             (and                 (instance ?SERVICE Process)                 (attribute ?SERVICE ServiceInEconomics)                 (agent ?SERVICE ?PROVIDER)                 (member ?PROVIDER                     (CitizenryFn ?GPA))                 (finishesDuring                     (WhenFn ?SERVICE) ?Y)                 (located ?SERVICE ?GPA))             (member ?SERVICE ?GAS))))	Economy.kif 6905-6926	Colecao e' uma instancia de GoodsAndServices Area Geopolitica e' uma instancia de Area Geopolitica Processo e' uma instancia de Manufatura Fisico e' o resultado de Processo Processo e' um agente de ProcessoAKER ProcessoAKER e' membro de CitizenryFn Area Geopolitica finishesDuring tempo de existencia de Processo and Intervalo Temporal Processo e' situado em Area Geopolitica Fisico e' membro de Colecao Objeto e' uma instancia de Processo ServiceInEconomics e' um atributo de Objeto Objeto e' um agente de AutonomousAgent AutonomousAgent e' membro de CitizenryFn Area Geopolitica finishesDuring tempo de existencia de Objeto and Intervalo Temporal Objeto e' situado em Area Geopolitica Objeto e' membro de Colecao
(=>     (instance ?H HydraulicFluid)     (hasPurpose ?H         (exists (?P)             (and                 (instance ?P Process)                 (instrument ?P ?H)                 (holdsDuring                     (WhenFn ?P)                     (attribute ?H Liquid))))))	Cars.kif 1593-1602	Fisico e' uma instancia de HydraulicFluid Fisico tem por fim Entidade Entidade e' uma instancia de Processo Fisico e' um instrumento para Entidade Liquid e' um atributo de Fisico vale durante tempo de existencia de Entidade
(=>     (instance ?PE ProtectiveEyewear)     (hasPurpose ?PE         (=>             (exists (?PERSON)                 (and                     (instance ?PERSON Human)                     (wears ?PERSON ?PE)))             (exists (?PROTECT ?EYE ?INJ ?I ?T)                 (and                     (instance ?PROTECT Process)                     (instrument ?PROTECT ?PE)                     (subclass ?INJ                         (KappaFn ?I                             (exists (?HUMAN)                                 (and                                     (instance ?I Injuring)                                     (instance ?EYE Eye)                                     (instance ?HUMAN Human)                                     (properPart ?EYE ?HUMAN)                                     (patient ?I ?EYE)                                     (=>                                         (holdsDuring ?T                                             (patient ?I ?PERSON))                                         (not                                             (holdsDuring ?T                                                 (patient ?PROTECT ?PERSON))))))))                     (prevents ?PROTECT ?INJ))))))	Cars.kif 3543-3570	Fisico e' uma instancia de ProtectiveEyewear Fisico tem por fim FisicoRSON FisicoRSON e' uma instancia de Humano FisicoRSON usa Fisico Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Processo Fisico e' um instrumento para Entidade Entidade e' uma sub-classe de a classe descrita por Entidade Entidade proibe a ocurrencia de Entidade
(=>     (instance ?PKU PeacekeepingUnit)     (capability         (KappaFn ?P             (and                 (instance ?P Process)                 (instance ?V ViolentContest)                 (prevents ?P ?V))) agent ?PKU))	Military.kif 89-96	Objeto e' uma instancia de PeacekeepingUnit Objeto e' capaz de fazer a classe descrita por Sequencia Simbolica no role agent
(=>     (instance ?R Recording)     (exists (?P)         (and             (instance ?P Process)             (record ?R ?P))))	Mid-level-ontology.kif 15759-15764	Objeto Representendo Conteudo Abstrato e' uma instancia de Recording Fisico Fisico e' uma instancia de Processo record Objeto Representendo Conteudo Abstrato and Fisico
(=>     (instance ?TEAM CrossFunctionalTeam)     (exists (?SKILL ?MEMBER1 ?MEMBER2 ?INST)         (and             (subclass ?SKILL Process)             (instance ?MEMBER1 Human)             (instance ?MEMBER2 Human)             (member ?MEMBER1 ?TEAM)             (member ?MEMBER2 ?TEAM)             (hasSkill ?SKILL ?MEMBER1)             (not                 (hasSkill ?SKILL ?MEMBER2))             (instance ?INST ?SKILL)             (inScopeOfInterest ?TEAM ?INST))))	UXExperimentalTerms.kif 2630-2643	Colecao e' uma instancia de CrossFunctionalTeam Processo AutonomousAgent, AutonomousAgent and Entidade Processo e' uma sub-classe de Processo AutonomousAgent e' uma instancia de Humano AutonomousAgent e' uma instancia de Humano AutonomousAgent e' membro de Colecao AutonomousAgent e' membro de Colecao AutonomousAgent tem a capacidade de fazer Processo AutonomousAgent tem a capacidade de fazer Processo Entidade e' uma instancia de Processo Colecao esta' interessado em Entidade
(=>     (instance ?TPS TestProtocolSpecification)     (exists (?PLAN ?EXPERIMENT ?PROC)         (and             (instance ?PLAN Plan)             (instance ?EXPERIMENT Experimenting)             (instance ?PROC Process)             (represents ?PLAN ?PROC)             (subProcess ?EXPERIMENT ?PROC)             (containsInformation ?TPS ?PLAN))))	UXExperimentalTerms.kif 2754-2763	ContentBearingPhysical e' uma instancia de TestProtocolSpecification Proposicao Processo and Processo Proposicao e' uma instancia de Plano Processo e' uma instancia de Experimenting Processo e' uma instancia de Processo Proposicao define Processo Processo e' um sub-processo de Processo ContentBearingPhysical contem informacao Proposicao
(=>     (instance ?TRANS TransferSwitch)     (hasPurpose ?TRANS         (exists (?PROC ?POWER1 ?POWER2 ?E)             (and                 (instance ?PROC Process)                 (instance ?POWER1 PowerSource)                 (instance ?POWER2 PowerSource)                 (instance ?E Electricity)                 (instrument ?PROC ?TRANS)                 (holdsDuring                     (BeginFn                         (WhenFn ?PROC))                     (origin ?E ?POWER1))                 (holdsDuring                     (EndFn                         (WhenFn ?PROC))                     (origin ?E ?POWER1))                 (not                     (equal ?POWER1 ?POWER2))))))	engineering.kif 1195-1214	Fisico e' uma instancia de TransferSwitch Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Processo Entidade e' uma instancia de PowerSource Entidade e' uma instancia de PowerSource Entidade e' uma instancia de Electricity Fisico e' um instrumento para Entidade Entidade tem como origem Entidade vale durante o comeco de tempo de existencia de Entidade Entidade tem como origem Entidade vale durante o fim de tempo de existencia de Entidade equal Entidade and Entidade
(=>     (instance ?V Valve)     (hasPurpose ?V         (exists (?FLUID ?PROC ?FLOW)             (and                 (instance ?FLOW Transfer)                 (path ?FLOW ?V)                 (patient ?FLOW ?FLUID)                 (attribute ?FLUID Fluid)                 (instance ?PROC Process)                 (instrument ?PROC ?V)                 (patient ?PROC ?FLOW)))))	engineering.kif 1227-1238	Fisico e' uma instancia de Valve Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Transferencia Fisico e' o caminho ao longo do qual Entidade ocorre Entidade e' um patient de Entidade Fluid e' um atributo de Entidade Entidade e' uma instancia de Processo Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade
(=>     (instance ?X AirConditioner)     (hasPurpose ?X         (exists (?PROC ?TEMP ?AREA)             (and                 (located ?X ?AREA)                 (instance ?PROC Process)                 (instrument ?PROC ?X)                 (result ?PROC                     (airTemperature ?AREA ?TEMP))))))	Mid-level-ontology.kif 27892-27900	Fisico e' uma instancia de AirConditioner Fisico tem por fim Entidade Entidade and Entidade Fisico e' situado em Entidade Entidade e' uma instancia de Processo Fisico e' um instrumento para Entidade airTemperature Entidade and Entidade e' o resultado de Entidade
(=>     (instance ?X Earphone)     (hasPurpose ?X         (exists (?ES ?RS ?SIGNAL ?EAR ?PROC)             (and                 (instance ?ES ElectricalSignalling)                 (patient ?ES ?SIGNAL)                 (destination ?ES ?X)                 (instance ?PROC Process)                 (instrument ?PROC ?X)                 (patient ?PROC ?SIGNAL)                 (result ?PROC ?RS)                 (instance ?RS RadiatingSound)                 (origin ?RS ?X)                 (before                     (BeginFn                         (WhenFn ?ES))                     (BeginFn                         (WhenFn ?PROC)))                 (before                     (BeginFn                         (WhenFn ?PROC))                     (BeginFn                         (WhenFn ?RS)))                 (instance ?EAR Ear)                 (orientation ?X ?EAR Adjacent)))))	Mid-level-ontology.kif 27951-27972	Fisico e' uma instancia de Earphone Fisico tem por fim Entidade Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de ElectricalSignalling Entidade e' um patient de Entidade Entidade termina em Fisico Entidade e' uma instancia de Processo Fisico e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' o resultado de Entidade Entidade e' uma instancia de Som Irradiante Entidade tem como origem Fisico o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de Entidade o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de Entidade Entidade e' uma instancia de Ear Fisico e' Adjacent em relacao a Entidade
(=>     (instance ?X SafetyDevice)     (hasPurpose ?X         (exists (?P ?H ?I ?T)             (and                 (instance ?H Human)                 (instance ?P Process)                 (patient ?P ?H)                 (instrument ?P ?X)                 (prevents ?P                     (KappaFn ?I                         (and                             (instance ?I Injuring)                             (=>                                 (holdsDuring ?T                                     (experiencer ?I ?H))                                 (not                                     (holdsDuring ?T                                         (patient ?P ?H)))))))))))	Cars.kif 3416-3434	Fisico e' uma instancia de SafetyDevice Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de Processo Entidade e' um patient de Entidade Fisico e' um instrumento para Entidade Entidade proibe a ocurrencia de a classe descrita por Entidade
(=>     (instance ?X SeatBelt)     (hasPurpose ?X         (exists (?PERSON ?STOP ?VEHICLE ?M)             (and                 (instance ?VEHICLE Vehicle)                 (part ?X ?VEHICLE)                 (instance ?PERSON Human)                 (contains ?VEHICLE ?PERSON)                 (instance ?STOP Process)                 (prevents ?STOP                     (KappaFn ?M                         (and                             (instance ?M Translocation)                             (patient ?M ?PERSON)                             (exists (?COLLISION)                                 (and                                     (or                                         (instance ?COLLISION Decelerating)                                         (instance ?COLLISION Impacting))                                     (experiencer ?COLLISION ?VEHICLE)                                     (causes ?COLLISION ?M)))                             (modalAttribute                                 (exists (?INJ ?IMP)                                     (and                                         (instance ?INJ Injuring)                                         (instance ?IMP Impacting)                                         (causes ?M ?INJ)                                         (patient ?INJ ?PERSON)                                         (subProcess ?IMP ?INJ))) Possibility))))))))	Cars.kif 3736-3765	Fisico e' uma instancia de SeatBelt Fisico tem por fim Entidade Entidade, Entidade and Entidade Entidade e' uma instancia de Vehicle Fisico e' uma &parte de Entidade Entidade e' uma instancia de Humano Entidade contem Entidade Entidade e' uma instancia de Processo Entidade proibe a ocurrencia de a classe descrita por Entidade
(=>     (instance ?X Tripod)     (hasPurpose ?X         (exists (?OBJ ?PUT ?PROC)             (and                 (instance ?OBJ Artifact)                 (instance ?PUT Putting)                 (patient ?PUT ?OBJ)                 (destination ?PUT ?X)                 (instance ?PROC Process)                 (instrument ?PROC ?OBJ)                 (before                     (EndFn                         (WhenFn ?PUT))                     (BeginFn                         (WhenFn ?PROC)))))))	Mid-level-ontology.kif 28618-28631	Fisico e' uma instancia de Tripod Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Artefato Entidade e' uma instancia de Colocar Entidade e' um patient de Entidade Entidade termina em Fisico Entidade e' uma instancia de Processo Entidade e' um instrumento para Entidade o fim de tempo de existencia de Entidade comeca antes de o comeco de 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