No TPTP formula. May not be expressible in strict first order.	Hotel.kif 811-832	functionRoomAmenity HotelFunctionRoom and Fisico Entidade e' uma instancia de HotelFunctionRoom Entidade e' um elemento de propriedade de AutonomousAgent Processo e' uma instancia de Renting Entidade e' um patient de Processo Processo e' um agente de AutonomousAgent Processo termina em Entidade Fisico e' uma sub-classe de Objeto o argumento Entidade Entidade Entidade e' uma instancia de Fisico Entidade e' uma instancia de Processo Entidade e' um recurso para Entidade Entidade e' um instrumento para Entidade Entidade e' um patient de Entidade Entidade e' um agente de Entidade Entidade experimenta Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1500-1512	ChronicFatigueSyndrome e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo e' uma instancia de Recreacao ou Exercicio Processo e' um agente de AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal o argumento PostExertionalMalaise e' um atributo de AutonomousAgent vale durante Intervalo Temporal2 tempo de existencia de Processo acontence antes de Intervalo Temporal2 tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Law.kif 480-489	AutonomousAgent deseja Dead e' um atributo de Entidade vale durante Intervalo Temporal AutonomousAgentURDER e' uma instancia de Murder AutonomousAgentURDER e' um agente de AutonomousAgent Entidade e' um patient de AutonomousAgentURDER Intervalo Temporal acontence antes de tempo de existencia de AutonomousAgentURDER Premeditated e' um atributo de AutonomousAgentURDER
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30650-30671	Dieting e' um atributo de AutonomousAgent vale durante Intervalo Temporal Dieting e' um atributo de AutonomousAgent vale durante Intervalo Temporal Objeto e' uma instancia de Meal Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent Objeto e' um recurso para Processo tempo de existencia de Processo acontece durante Intervalo Temporal a medida de Objeto e' Numero Real Calorie(s) Objeto e' uma instancia de Meal Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent Objeto e' um recurso para Processo tempo de existencia de Processo acontece durante Intervalo Temporal a medida de Objeto e' Numero Real Calorie(s) o argumento Numero Real e' maior que Numero Real tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9838-9860	Objeto e' uma instancia de Antacid Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente antes de tempo de existencia de Movimento Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente apos tempo de existencia de Movimento phMeasure Objeto and Numero Real phMeasure Objeto and Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29608-29620	Processo e' uma instancia de Apologizing Processo e' um agente de ProcessoG Processo termina em AutonomousAgent ProcessoCT suffers ProcessoCT and AutonomousAgent ProcessoCT e' um agente de ProcessoG ProcessoG nao quer %n ProcessoCT vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4411-4425	AutonomousAgent e' uma instancia de Biped Processo e' uma instancia de Ambulating Processo e' um agente de AutonomousAgent o argumento Entidade Entidade Entidade e' uma instancia de Leg Entidade e' uma instancia de Leg Entidade e' uma &parte de AutonomousAgent Entidade e' uma &parte de AutonomousAgent Entidade e' um instrumento para Processo Entidade e' um instrumento para Processo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20065-20071	AutonomousAgent e' uma instancia de Herbivore Processo e' um agente de AutonomousAgent Processo e' uma instancia de Comer Entidade e' um patient de Processo Entidade e' uma instancia de Planta
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9899-9921	Objeto e' uma instancia de ProtonPumpInhibitor Movimento e' uma instancia de Ingerir Movimento e' um agente de AutonomousAgent moves Movimento and Objeto Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente antes de tempo de existencia de Movimento Objeto contem Objeto Objeto e' uma instancia de Fluid vale durante imediatemente apos tempo de existencia de Movimento phMeasure Objeto and Numero Real phMeasure Objeto and Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2440-2445	Processo e' uma instancia de AbortedMissionFn AutonomousAgent and MilitaryOperation AutonomousAgentCTION causa Processo AutonomousAgentCTION e' um agente de Entidade_A MilitaryOperation e' um agente de Entidade_A enemy Entidade_A and Entidade_A
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17142-17163	Processo e' uma instancia de Accelerating Processo e' um agente de AutonomousAgent Numero Real Numero Real, Numero Real, Numero Real, Entidade and Entidade a medida de AutonomousAgent e' Numero Real Entidade(s) por Numero Real Entidade(s) vale durante o comeco de tempo de existencia de Processo a medida de AutonomousAgent e' Numero Real Entidade(s) por Numero Real Entidade(s) vale durante o fim de tempo de existencia de Processo Numero Real e' maior que Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3759-3784	AccessingWebPage e' uma instancia de AccessingWebPage Entidade e' uma instancia de WebPage Processo e' uma instancia de DataTransfer Objeto e' uma instancia de Server Processo e' uma instancia de Pedir AutonomousAgent e' uma instancia de WebBrowser Intervalo Temporal e' uma instancia de Intervalo Temporal Entidade e' um patient de AccessingWebPage Processo e' um agente de AutonomousAgent Processo termina em Objeto Entidade e' um patient de Processo Processo tem como origem Objeto Processo termina em AutonomousAgent Entidade e' um patient de Processo Processo e' um sub-processo de AccessingWebPage Processo e' um sub-processo de AccessingWebPage o fim de tempo de existencia de Processo e' igual a o comeco de Intervalo Temporal o fim de tempo de existencia de Processo e' igual a o fim de Intervalo Temporal SiteSpeedFn AccessingWebPage e' igual a Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10562-10571	Processo e' uma instancia de Processo Organizacional Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Organizacao Colecao Colecao e' uma instancia de Organizacao AutonomousAgent e' membro de Colecao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10584-10593	Processo e' uma instancia de Processo Religioso Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Organizacao Religiosa Colecao AutonomousAgent e' membro de Colecao Colecao e' uma instancia de Organizacao Religiosa
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18085-18089	Processo e' uma instancia de Ambulating Processo e' um agente de AutonomousAgent Standing e' um atributo de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 516-522	Processo e' uma instancia de Ambulating Processo e' uma instancia de Stepping Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 524-530	Processo e' uma instancia de Ambulating Processo e' uma instancia de Stepping Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21756-21768	Processo e' uma instancia de Ambush Processo e' um agente de AutonomousAgent Processo Processo e' uma instancia de Concealing Processo e' um sub-processo de Processo Processo tem por fim Entidade Entidade e' uma instancia de Attack Entidade e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 753-763	Processo e' uma instancia de AirPhotographicReconnaissance Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo Processo e' uma instancia de Photographing Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 782-790	Processo e' uma instancia de AmphibiousReconnaissance Processo e' um agente de AutonomousAgent Processo Processo e' um sub-processo de Processo Processo e' uma instancia de LandingWaterLand Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 89-103	Processo e' uma instancia de ArmedReconnaissance Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo enemy Agente Cognitivo and Entidade vale durante tempo de existencia de Processo Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade e' uma instancia de Attack Entidade e' um agente de Agente Cognitivo Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23481-23485	Processo e' uma instancia de PlacingUnderArrest Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1326-1342	Intervalo Temporal e' uma instancia de AddToCart Entidade e' uma instancia de Objeto Entidade e' um patient de Intervalo Temporal Intervalo Temporal e' um agente de AutonomousAgent Colecao WebSite, Posicao Temporal and Intervalo Temporal Colecao e' uma instancia de Colecao WebSite e' uma instancia de WebSite Intervalo Temporal e' uma instancia de Intervalo Temporal webcart AutonomousAgent, Colecao and WebSite o comeco de Intervalo Temporal e' igual a o fim de Intervalo Temporal Entidade e' membro de Colecao vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1312-1324	Processo e' uma instancia de AddToCart Agente Cognitivo e' uma instancia de AutonomousAgent Entidade e' uma instancia de Objeto Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Agente Cognitivo deseja Entidade Entidade e' uma instancia de Comprar Entidade e' um patient de Entidade Entidade e' um agente de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13431-13440	Processo e' uma instancia de Attack Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo tem finalidade Entidade Entidade e' uma instancia de Causar Dano Entidade e' um patient de Entidade para AutonomousAgent
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