No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3340-3352	Processo e' uma instancia de TransportationService Objeto AutonomousAgent, Processo and Agente Cognitivo Processo e' um agente de AutonomousAgent AutonomousAgent possui Objeto customer Agente Cognitivo and AutonomousAgent Objeto e' uma instancia de Vehicle Processo e' uma instancia de Transporte Processo e' um agente de AutonomousAgent Agente Cognitivo e' um patient de Processo Objeto e' um instrumento para Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3932-3935	ContentBearingPhysical e' uma instancia de Title Entidade Entidade ContentBearingPhysical contem informacao Entidade possui Entidade
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2104-2124	Processo e' uma instancia de CurrencyExchangeService Entidade Entidade, Entidade, Entidade, AutonomousAgent, Entidade, Entidade, Entidade and Entidade Processo e' um agente de AutonomousAgent Entidade e' igual a Entidade Entidade e' uma instancia de Medida de Divisa Entidade e' uma instancia de Medida de Divisa o valor de Entidade e' Entidade AutonomousAgent possui Entidade Entidade e' igual a Entidade Entidade(s) vale durante o comeco de tempo de existencia de Processo o valor de Entidade e' Entidade AutonomousAgent possui Entidade AutonomousAgent nao possui %n Entidade Entidade e' igual a Entidade Entidade(s) vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22581-22586	Objeto e' uma instancia de EducationalFacility AutonomousAgent AutonomousAgent e' uma instancia de Organizacao Educacional AutonomousAgent possui Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22379-22388	Objeto e' uma instancia de EmbassyBuilding AutonomousAgent Objeto AutonomousAgent e' uma instancia de Nacao Objeto e' uma instancia de Nacao AutonomousAgent e' igual a Objeto AutonomousAgent possui Objeto Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22405-22410	Objeto e' uma instancia de GovernmentBuilding AutonomousAgent AutonomousAgent e' uma instancia de Governo AutonomousAgent possui Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21904-21917	Processo e' uma instancia de Hijacking Entidade AutonomousAgent Processo e' um agente de AutonomousAgent Entidade e' uma instancia de Veiculo de Transporte AutonomousAgent nao possui %n Entidade vale durante imediatemente antes de tempo de existencia de Processo AutonomousAgent possui Entidade vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22560-22574	Fisico e' uma instancia de RestaurantBuilding Fisico tem por fim Entidade Entidade, Entidade, Entidade and EntidadeAY Entidade emprega Entidade Entidade possui Fisico Entidade e' uma instancia de Humano EntidadeAY e' uma instancia de Transacao Financeira EntidadeAY e' um agente de Entidade Entidade e' um patient de EntidadeAY Entidade autoriza Entidade a executar tarefas de tipo Entidade Entidade e' uma instancia de Comer Entidade e' um agente de Entidade eventLocated Entidade and Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6891-6899	landlord AutonomousAgent and PermanentResidence Processo AutonomousAgent AutonomousAgent possui PermanentResidence tenant AutonomousAgent and PermanentResidence Processo e' um agente de AutonomousAgent Processo e' uma instancia de Renting PermanentResidence e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 648-655	managedBy Objeto and AutonomousAgent AutonomousAgent2 Processo AutonomousAgent2 possui Objeto Processo e' uma instancia de Administrar Objeto e' um patient de Processo Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30001-30009	rents AutonomousAgent, AutonomousAgent, Objeto and Intervalo Temporal Entidade Entidade e' uma instancia de Renting Objeto e' um patient de Entidade Entidade e' um agente de AutonomousAgent AutonomousAgent possui Objeto vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30890-30896	shortage Agente Cognitivo, Objeto, Medida de Divisa, Intervalo Temporal and Quantidade Agente Cognitivo deseja Entidade Entidade e' uma instancia de Objeto Agente Cognitivo possui Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6907-6915	tenant AutonomousAgent and PermanentResidence AutonomousAgent Processo Processo e' uma instancia de Renting landlord AutonomousAgent and PermanentResidence Processo e' um agente de AutonomousAgent AutonomousAgent possui PermanentResidence PermanentResidence e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3941-3943	thirdPartyProduct Artefato, Organizacao and AutonomousAgent AutonomousAgent possui Artefato
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1179-1185	visitorParameter AutonomousAgent, Formula and WebSite Agente Cognitivo Agente Cognitivo e' uma instancia de Agente Cognitivo Agente Cognitivo possui WebSite Agente Cognitivo sabe Formula

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