(=>     (and         (instance ?ORG Organization)         (attribute ?ORG Utilities))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (or                         (instance ?EV Removing)                         (instance ?THING Sewage))                     (patient ?EV ?THING)                     (or                         (instance ?THING Electron)                         (instance ?THING Water)                         (and                             (instance ?THING PureSubstance)                             (capability Combustion patient ?THING)))                     (member ?MEM2 ?ORG)                     (instance ?EV2 FinancialTransaction)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 954-977	Colecao e' uma instancia de Organizacao Utilities e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Objeto Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Remover Objeto e' uma instancia de Sewage Objeto e' um patient de AutonomousAgent Objeto e' uma instancia de Eletron Objeto e' uma instancia de Agua Objeto e' uma instancia de Substancia Pura Objeto e' capaz de fazer Combustao no role patient Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Transacao Financeira AutonomousAgent2 e' um agente de Processo2 Objeto e' um patient de AutonomousAgent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG WarehousingAndStorage))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?P ?OBJ)                 (and                     (instance ?EV Selling)                     (instance ?OBJ Object)                     (instance ?P Human)                     (patient ?EV ?P)                     (confersRight                         (exists (?B ?T)                             (and                                 (instance ?T TimeInterval)                                 (instance ?B Building)                                 (possesses ?P ?OBJ)                                 (holdsDuring ?T                                     (located ?B ?OBJ)))) ?MEM ?P))))))	naics.kif 8776-8797	Colecao e' uma instancia de Organizacao WarehousingAndStorage 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 Entidade e' uma instancia de Intervalo Temporal Entidade e' uma instancia de Predio Agente Cognitivo possui Entidade Entidade e' situado em Entidade vale durante Entidade
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG WaterTransportationIndustry))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?P)                 (and                     (instance ?EV Selling)                     (instance ?P Human)                     (patient ?EV ?P)                     (confersRight                         (exists (?T ?V ?OBJ)                             (and                                 (instance ?T Transportation)                                 (or                                     (patient ?T ?P)                                     (and                                         (possesses ?P ?OBJ)                                         (patient ?T ?OBJ)                                         (instance ?OBJ Object)))                                 (possesses ?ORG ?V)                                 (instance ?V WaterVehicle))) ?MEM ?P))))))	naics.kif 8080-8105	Colecao e' uma instancia de Organizacao WaterTransportationIndustry 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 Entidade 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 Entidade Entidade e' uma instancia de WaterVehicle
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG WholesaleTrade))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Selling)                     (instance ?THING Object)                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 6375-6391	Colecao e' uma instancia de Organizacao WholesaleTrade 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 Vender Entidade e' uma instancia de Objeto 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
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG WoodProductManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (or                         (instance ?THING Wood)                         (material Wood ?THING))                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 2563-2581	Colecao e' uma instancia de Organizacao WoodProductManufacturing e' um atributo de Colecao AutonomousAgent Processo Processo e' membro de Colecao Processo e' um agente de AutonomousAgent Objeto Corpuscular Processo2 and AutonomousAgent2 AutonomousAgent e' uma instancia de Manufatura Objeto Corpuscular e' uma instancia de Wood Wood e' feito de Objeto Corpuscular Objeto Corpuscular e' um patient de AutonomousAgent Processo2 e' membro de Colecao AutonomousAgent2 e' uma instancia de Vender AutonomousAgent2 e' um agente de Processo2 Objeto Corpuscular e' um patient de AutonomousAgent2
(=>     (and         (instance ?ORG Organization)         (member ?AGENT ?ORG))     (instance ?AGENT AutonomousAgent))	Merge.kif 16653-16657	Colecao e' uma instancia de Organizacao Fisico e' membro de Colecao Fisico e' uma instancia de AutonomousAgent
(=>     (and         (instance ?PERSON Human)         (instance ?ORG Organization)         (instance ?POSITION Position)         (attribute ?PERSON             (MemberRoleFn ?ORG ?POSITION)))     (occupiesPosition ?PERSON ?POSITION ?ORG))	Government.kif 1806-1812	Humano e' uma instancia de Humano Organizacao e' uma instancia de Organizacao Posicao e' uma instancia de Posicao MemberRoleFn Organizacao and Posicao e' um atributo de Humano Humano ocupa a posicao de Posicao Organizacao
(=>     (and         (instance ?PROCESS JudicialProcess)         (agent ?PROCESS ?ORG)         (instance ?ORG Organization))     (instance ?ORG JudicialOrganization))	Merge.kif 10802-10807	Processo e' uma instancia de JudicialProcess Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Organizacao AutonomousAgent e' uma instancia de JudicialOrganization
(=>     (and         (instance ?STRIKE LaborStriking)         (agent ?STRIKE ?PERSON)         (instance ?PERSON Human)         (patient ?STRIKE ?ORG)         (instance ?ORG Organization))     (employs ?ORG ?PERSON))	Mid-level-ontology.kif 16915-16922	Processo e' uma instancia de LaborStriking Processo e' um agente de Agente Cognitivo Agente Cognitivo e' uma instancia de Humano AutonomousAgent e' um patient de Processo AutonomousAgent e' uma instancia de Organizacao AutonomousAgent emprega Agente Cognitivo
(=>     (and         (instance ?UNIT CommercialUnit)         (instance ?ORG Organization)         (located ?ORG ?UNIT))     (not         (exists (?OTHER)             (and                 (instance ?OTHER Organization)                 (located ?OTHER ?UNIT)                 (not                     (equal ?OTHER ?ORG))))))	Mid-level-ontology.kif 7067-7076	Objeto e' uma instancia de CommercialUnit Fisico e' uma instancia de Organizacao Fisico e' situado em Objeto Fisico Fisico e' uma instancia de Organizacao Fisico e' situado em Objeto Fisico e' igual a Fisico
(=>     (and         (judicialBranch ?BRANCH ?ORG)         (instance ?ORG Organization))     (subOrganization ?BRANCH ?ORG))	Government.kif 2118-2122	judicialBranch Organizacao and Organizacao Organizacao e' uma instancia de Organizacao Organizacao e' uma parte da organizacao Organizacao
(=>     (and         (legislativeBranch ?ORG ?AGENT)         (instance ?AGENT Organization))     (subOrganization ?ORG ?AGENT))	Government.kif 2023-2027	legislativeBranch Organizacao and Organizacao Organizacao e' uma instancia de Organizacao Organizacao e' uma parte da organizacao Organizacao
(=>     (and         (names ?STRING ?OBJ)         (instance ?OBJ Organization))     (organizationName ?STRING ?OBJ))	Media.kif 3480-3484	Organizacao se chama nome Sequencia Simbolica Organizacao e' uma instancia de Organizacao organizationName Sequencia Simbolica and Organizacao
(=>     (and         (representativeAgentToAgent ?SENDER ?REP ?RECEIVER)         (instance ?SENDER Organization)         (instance ?REP CognitiveAgent))     (employs ?SENDER ?REP))	Government.kif 4607-4612	representativeAgentToAgent AutonomousAgent, Agente Cognitivo and AutonomousAgent AutonomousAgent e' uma instancia de Organizacao Agente Cognitivo e' uma instancia de Agente Cognitivo AutonomousAgent emprega Agente Cognitivo
(=>     (and         (subclass ?PLATFORM PartyPlatform)         (authors ?PARTY ?PLATFORM)         (instance ?PARTY Organization))     (instance ?PARTY PoliticalParty))	Government.kif 2324-2329	Objeto Representendo Conteudo Abstrato e' uma sub-classe de PartyPlatform AutonomousAgent e' o autor de Objeto Representendo Conteudo Abstrato AutonomousAgent e' uma instancia de Organizacao AutonomousAgent e' uma instancia de PoliticalParty
(=>     (instance         (ExecutiveBranchFn ?AGENT) Organization)     (executiveBranch         (ExecutiveBranchFn ?AGENT) ?AGENT))	Government.kif 1332-1334	ExecutiveBranchFn AutonomousAgent e' uma instancia de Organizacao executiveBranch ExecutiveBranchFn AutonomousAgent and AutonomousAgent
(=>     (instance         (JudiciaryFn ?AGENT) Organization)     (judicialBranch         (JudiciaryFn ?AGENT) ?AGENT))	Government.kif 2151-2153	JudiciaryFn Area Geopolitica e' uma instancia de Organizacao judicialBranch JudiciaryFn Area Geopolitica and Area Geopolitica
(=>     (instance         (LegislatureFn ?AGENT) Organization)     (legislativeBranch         (LegislatureFn ?AGENT) ?AGENT))	Government.kif 2046-2048	LegislatureFn Area Geopolitica e' uma instancia de Organizacao legislativeBranch LegislatureFn Area Geopolitica and Area Geopolitica
(=>     (instance ?ORG Organization)     (exists (?PURP)         (forall (?MEMBER)             (=>                 (member ?MEMBER ?ORG)                 (hasPurpose ?MEMBER ?PURP)))))	Merge.kif 16645-16651	Colecao e' uma instancia de Organizacao Formula Fisico Fisico e' membro de Colecao Fisico tem por fim 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