No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18644-18656	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6031-6040	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2154-2166	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
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1139-1151	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2525-2538	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
No TPTP formula. May not be expressible in strict first order.	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 QualifyingEventsFn Experimenting e' igual a Entidade_EVENTS
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1592-1601	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3490-3517	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
No TPTP formula. May not be expressible in strict first order.	Military.kif 89-96	Objeto e' uma instancia de PeacekeepingUnit Objeto e' capaz de fazer a classe descrita por Sequencia Simbolica no role agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14387-14392	Objeto Representendo Conteudo Abstrato e' uma instancia de Recording Fisico Fisico e' uma instancia de Processo record Objeto Representendo Conteudo Abstrato and Fisico
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	engineering.kif 882-901	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 Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	engineering.kif 914-925	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25982-25990	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26041-26062	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3363-3381	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3683-3712	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26707-26720	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14432-14438	Objeto e' uma instancia de VideoRecording Entidade Entidade e' uma instancia de Processo Objeto define Entidade Objeto e' capaz de fazer Luz Irradiante no role patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20692-20700	produced Humano and AutonomousAgent Processo Processo Processo e' uma instancia de Administrar Processo e' um agente de AutonomousAgent Processo e' um patient de Processo Processo e' uma instancia de Processo Humano e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Music.kif 96-104	producedOn Recording and Intervalo Temporal Intervalo Temporal Intervalo Temporal e' uma instancia de Processo Recording e' o resultado de Intervalo Temporal Intervalo Temporal e' igual a tempo de existencia de o fim de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4425-4430	Experimenting tem um atributo de ABTest Processo Processo e' uma instancia de Processo experimentalControlProcess Experimenting and Processo
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