No TPTP formula. May not be expressible in strict first order.	Merge.kif 10600-10608	Processo e' uma instancia de Juntar-se a uma Organizacao Entidade e' uma instancia de Organizacao Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo AutonomousAgent e' membro de Entidade vale durante o comeco de tempo de existencia de Processo AutonomousAgent e' membro de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10705-10713	Processo e' uma instancia de Firing AutonomousAgent e' uma instancia de Organizacao Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Entidade e' membro de AutonomousAgent vale durante o comeco de tempo de existencia de Processo Entidade e' membro de AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10673-10681	Processo e' uma instancia de Deixar uma Organizacao Entidade e' uma instancia de Organizacao Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo AutonomousAgent e' membro de Entidade vale durante o comeco de tempo de existencia de Processo AutonomousAgent e' membro de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10687-10697	Processo e' uma instancia de Quitting Entidade e' uma instancia de Organizacao Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Agente Cognitivo deseja Agente Cognitivo e' membro de Entidade 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 16293-16298	Intervalo Temporal e' uma instancia de BeginningOperations AutonomousAgent e' uma instancia de Organizacao Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal comeca em tempo de existencia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16330-16335	Intervalo Temporal e' uma instancia de CeasingOperations AutonomousAgent e' uma instancia de Organizacao Intervalo Temporal e' um agente de AutonomousAgent Intervalo Temporal termina em tempo de existencia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1607-1617	AutonomousAgent e' uma instancia de Organizacao IndustryAttribute e' um atributo de AutonomousAgent industryProductType IndustryAttribute and Objeto Processo Entidade Processo e' uma instancia de Fazer Entidade e' uma instancia de Objeto Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1649-1657	AutonomousAgent e' uma instancia de Organizacao IndustryAttribute e' um atributo de AutonomousAgent industryServiceType IndustryAttribute and Processo Intencional Processo Processo e' uma instancia de Processo Intencional Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 50-72	Colecao e' uma instancia de Organizacao AgricultureForestryFishingAndHunting e' um atributo de Colecao Processo AutonomousAgent AutonomousAgent e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 Processo e' uma instancia de Matar Processo e' uma instancia de Preservar Entidade e' um patient de Processo Entidade e' uma instancia de Animal Entidade e' uma instancia de Planta Entidade e' uma instancia de Humano AutonomousAgent2 e' membro de Colecao Processo2 e' uma instancia de Vender Processo2 e' um agente de AutonomousAgent2 Entidade e' um patient de Processo2
No TPTP formula. May not be expressible in strict first order.	naics.kif 7953-7978	Colecao e' uma instancia de Organizacao AirTransportationIndustry e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo AutonomousAgent e' uma instancia de Vender Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Agente CognitivoLANE and Entidade Entidade e' uma instancia de Transporte Agente Cognitivo e' um patient de Entidade Agente Cognitivo possui Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de Objeto Colecao possui Agente CognitivoLANE Agente CognitivoLANE e' uma instancia de Aircraft
No TPTP formula. May not be expressible in strict first order.	naics.kif 2194-2210	Colecao e' uma instancia de Organizacao ApparelManufacturing e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Manufatura Entidade e' uma instancia de Roupa Entidade e' um patient de AutonomousAgent Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Entidade e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 1837-1855	Colecao e' uma instancia de Organizacao BeverageAndTobaccoProductManufacturing e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Manufatura Entidade e' uma instancia de Bebida Entidade e' uma instancia de TobaccoProduct Entidade e' um patient de AutonomousAgent Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Entidade e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 7242-7257	Colecao e' uma instancia de Organizacao BuildingMaterialAndGardenEquipmentAndSuppliesDealers e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Objeto AutonomousAgent e' uma instancia de Vender Objeto e' uma instancia de Objeto Objeto e' capaz de fazer Construcao no role resource Objeto e' capaz de fazer Agriculture no role resource Objeto e' um patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 3125-3141	Colecao e' uma instancia de Organizacao ChemicalManufacturing e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Manufatura Entidade e' uma instancia de Substancia Pura Entidade e' um patient de AutonomousAgent Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Entidade e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 7509-7521	Colecao e' uma instancia de Organizacao ClothingAndClothingAccessoriesStores e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de Roupa Entidade e' um patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 5126-5150	Colecao e' uma instancia de Organizacao ComputerAndElectronicProductManufacturing e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Manufatura Entidade e' uma instancia de Computer Entidade e' uma instancia de Maquina AutonomousAgent3 Objeto Entidade e' um patient de AutonomousAgent3 Objeto e' um recurso para AutonomousAgent3 Objeto e' uma instancia de Electricity Entidade e' um patient de AutonomousAgent Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Entidade e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 1080-1095	Colecao e' uma instancia de Organizacao Construction e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Construcao Entidade e' um patient de AutonomousAgent Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Entidade e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 8736-8756	Colecao e' uma instancia de Organizacao CouriersAndMessengers e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Agente Cognitivo Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de Objeto Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' um patient de AutonomousAgent Processo autoriza Agente Cognitivo a executar tarefas de tipo Entidade Entidade e' uma instancia de Transporte Agente Cognitivo possui Entidade Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	naics.kif 5421-5443	Colecao e' uma instancia de Organizacao ElectricalEquipmentApplianceAndComponentManufacturing e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Manufatura Entidade e' uma instancia de Maquina AutonomousAgent3 Objeto Entidade e' um patient de AutonomousAgent3 Objeto e' um recurso para AutonomousAgent3 Objeto e' uma instancia de Electricity Entidade e' um patient de AutonomousAgent Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Entidade e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 7186-7198	Colecao e' uma instancia de Organizacao ElectronicsAndApplianceStores e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de ElectricDevice Entidade e' um patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 4225-4241	Colecao e' uma instancia de Organizacao FabricatedMetalProductManufacturing e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Manufatura Entidade e' uma instancia de Metal Entidade e' um patient de AutonomousAgent Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Entidade e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 7319-7333	Colecao e' uma instancia de Organizacao FoodAndBeverageStores e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de FoodForFn Animal Entidade e' uma instancia de Bebida Entidade e' um patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 1361-1377	Colecao e' uma instancia de Organizacao FoodManufacturing e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Cozinhar AutonomousAgent e' uma instancia de Manufatura Entidade e' um patient de AutonomousAgent Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Entidade e' um patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 7125-7137	Colecao e' uma instancia de Organizacao FurnitureAndHomeFurnishingsStores e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade AutonomousAgent e' uma instancia de Vender Entidade e' uma instancia de Furniture Entidade e' um patient de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 5994-6010	Colecao e' uma instancia de Organizacao FurnitureAndRelatedProductManufacturing e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Entidade Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Manufatura Entidade e' uma instancia de Furniture Entidade e' um patient de AutonomousAgent Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Entidade e' um patient de AutonomousAgent2
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