(=>     (and         (instance ?I Immigrating)         (agent ?I ?A))     (exists (?N1 ?N2)         (and             (instance ?N1 Nation)             (instance ?N2 Nation)             (origin ?I ?N1)             (destination ?I ?N2)             (not                 (equal ?N1 ?N2))             (member ?A                 (CitizenryFn ?N1))             (not                 (member ?A                     (CitizenryFn ?N2)))             (hasPurpose ?I                 (inhabits ?A ?N2)))))	Mid-level-ontology.kif 17351-17367	Processo e' uma instancia de Immigrating Processo e' um agente de AutonomousAgent Area Geopolitica Area Geopolitica Area Geopolitica e' uma instancia de Nacao Area Geopolitica e' uma instancia de Nacao Processo tem como origem Area Geopolitica Processo termina em Area Geopolitica Area Geopolitica e' igual a Area Geopolitica AutonomousAgent e' membro de CitizenryFn Area Geopolitica AutonomousAgent e' membro de CitizenryFn Area Geopolitica Processo tem por fim AutonomousAgent vive em Area Geopolitica
(=>     (and         (instance ?LEND Lending)         (agent ?LEND ?AGENT2)         (destination ?LEND ?AGENT1)         (patient ?LEND ?OBJECT))     (exists (?BORROW)         (and             (instance ?BORROW Borrowing)             (agent ?BORROW ?AGENT1)             (origin ?BORROW ?AGENT2)             (patient ?BORROW ?OBJECT))))	Merge.kif 11766-11777	Processo e' uma instancia de Emprestar Processo e' um agente de AutonomousAgent Processo termina em AutonomousAgent Entidade e' um patient de Processo Processo Processo e' uma instancia de Tomar Emprestado Processo e' um agente de AutonomousAgent Processo tem como origem AutonomousAgent Entidade e' um patient de Processo
(=>     (and         (instance ?M Measuring)         (instrument ?M ?R)         (instance ?R RTPCRTest))     (exists (?E)         (and             (instance ?E RadiatingLight)             (origin ?E ?R))))	Medicine.kif 1589-1597	Processo e' uma instancia de Medir Objeto e' um instrumento para Processo Objeto e' uma instancia de RTPCRTest Processo Processo e' uma instancia de Luz Irradiante Processo tem como origem Objeto
(=>     (and         (instance ?P FoodPickup)         (agent ?P ?AGENT)         (destination ?P ?CUST)         (patient ?P ?FOOD))     (and         (instance ?FOOD             (FoodForFn Human))         (exists (?LOC ?T ?G)             (and                 (located ?AGENT ?LOC)                 (instance ?T Translocation)                 (agent ?T ?CUST)                 (destination ?T ?LOC)                 (instance ?G Getting)                 (origin ?G ?AGENT)                 (destination ?G ?CUST)                 (patient ?G ?FOOD)))))	Dining.kif 610-627	Processo e' uma instancia de FoodPickup Processo e' um agente de AutonomousAgent Processo termina em AutonomousAgent Entidade e' um patient de Processo Entidade e' uma instancia de FoodForFn Humano Objeto Processo and Processo AutonomousAgent e' situado em Objeto Processo e' uma instancia de Translocation Processo e' um agente de AutonomousAgent Processo termina em Objeto Processo e' uma instancia de Obter Processo tem como origem AutonomousAgent Processo termina em AutonomousAgent Entidade e' um patient de Processo
(=>     (and         (instance ?P Passport)         (possesses ?A ?P))     (confersNorm ?P         (exists (?T ?N1 ?N2)             (and                 (instance ?T Translocation)                 (agent ?T ?A)                 (origin ?T ?N1)                 (destination ?T ?N2)                 (instance ?N1 Nation)                 (instance ?N2 Nation)                 (not                     (equal ?N1 ?N2)))) Permission))	Mid-level-ontology.kif 16560-16574	Objeto e' uma instancia de Passport AutonomousAgent possui Objeto confersNorm Objeto, Entidade Entidade and Entidade Entidade e' uma instancia de Translocation Entidade e' um agente de AutonomousAgent Entidade tem como origem Entidade Entidade termina em Entidade Entidade e' uma instancia de Nacao Entidade e' uma instancia de Nacao Entidade e' igual a Entidade and Permission
(=>     (and         (instance ?PLUG ElectricalPlug)         (instance ?DEVICE ElectricDevice)         (instance ?OUTLET ElectricalOutlet)         (connectedEngineeringComponents ?DEVICE ?PLUG)         (completelyFills ?PLUG ?OUTLET)         (instance ?POWER PowerSource)         (connectedEngineeringComponents ?POWER ?OUTLET))     (exists (?RE)         (and             (instance ?RE RadiatingElectromagnetic)             (origin ?RE ?POWER)             (destination ?RE ?DEVICE))))	Mid-level-ontology.kif 25935-25948	Componente de Engenharia e' uma instancia de ElectricalPlug Componente de Engenharia e' uma instancia de ElectricDevice Buraco e' uma instancia de ElectricalOutlet Componente de Engenharia e' conectado a Componente de Engenharia Componente de Engenharia completa completemente Buraco Componente de Engenharia e' uma instancia de PowerSource Componente de Engenharia e' conectado a Buraco Processo Processo e' uma instancia de RadiatingElectromagnetic Processo tem como origem Componente de Engenharia Processo termina em Componente de Engenharia
(=>     (and         (instance ?REL SheddingPart)         (?REL ?O ?P)         (instance ?O Organism)         (instance ?P AnatomicalStructure)         (part ?P ?O))     (exists (?R)         (and             (instance ?R Removing)             (origin ?R ?O)             (patient ?R ?P))))	Geography.kif 6412-6423	Entidade e' uma instancia de SheddingPart Entidade Objeto and Objeto Objeto e' uma instancia de Organismo Objeto e' uma instancia de Estructura Anatomica Objeto e' uma &parte de Objeto Processo Processo e' uma instancia de Remover Processo tem como origem Objeto Objeto e' um patient de Processo
(=>     (and         (instance ?REPAYMENT Repayment)         (instance ?REPAYMENT_DESTINATION Object)         (destination ?REPAYMENT ?REPAYMENT_DESTINATION)         (instance ?REPAYMENT_ORIGIN Object)         (origin ?REPAYMENT ?REPAYMENT_ORIGIN))     (exists (?PAYMENT ?PAYMENT_ORIGIN ?PAYMENT_DESTINATION)         (and             (instance ?PAYMENT Payment)             (instance ?PAYMENT_ORIGIN Object)             (instance ?PAYMENT_DESTINATION Object)             (not                 (equal ?PAYMENT ?REPAYMENT))             (destination ?PAYMENT ?PAYMENT_DESTINATION)             (origin ?PAYMENT ?PAYMENT_ORIGIN)             (equal ?PAYMENT_ORIGIN ?REPAYMENT_DESTINATION)             (equal ?PAYMENT_DESTINATION ?REPAYMENT_ORIGIN))))	UXExperimentalTerms.kif 1883-1900	Processo e' uma instancia de Repayment Processo_DESTINATION e' uma instancia de Objeto Processo termina em Processo_DESTINATION Processo_ORIGIN e' uma instancia de Objeto Processo tem como origem Processo_ORIGIN Processo Processo_ORIGIN and Processo_DESTINATION Processo e' uma instancia de Payment Processo_ORIGIN e' uma instancia de Objeto Processo_DESTINATION e' uma instancia de Objeto Processo e' igual a Processo Processo termina em Processo_DESTINATION Processo tem como origem Processo_ORIGIN Processo_ORIGIN e' igual a Processo_DESTINATION Processo_DESTINATION e' igual a Processo_ORIGIN
(=>     (and         (instance ?Refinancing Refinancing)         (time ?Refinancing ?Time)         (instance ?Loan Loan)         (securedBy ?Loan ?Collateral)         (borrower ?Loan ?Borrower)         (currentAccountBalance ?Loan ?Time ?Amount)         (patient ?Refinancing ?Loan))     (exists (?NewLoan ?Payment)         (and             (instance ?NewLoan Loan)             (borrower ?NewLoan ?Borrower)             (securedBy ?Loan ?Collateral)             (destination ?Payment                 (CurrencyFn ?Loan))             (time ?Payment ?Time)             (origin ?Payment                 (CurrencyFn ?NewLoan))             (transactionAmount ?Payment ?Amount))))	FinancialOntology.kif 1449-1466	Processo e' uma instancia de Refinancing Processo existe durante Dia Loan e' uma instancia de Loan securedBy Loan and Collateral borrower Loan and Agente Cognitivo currentAccountBalance Loan, Dia and Medida de Divisa Loan e' um patient de Processo Loan Transacao Financeira Loan e' uma instancia de Loan borrower Loan and Agente Cognitivo securedBy Loan and Collateral Transacao Financeira termina em CurrencyFn Loan Transacao Financeira existe durante Dia Transacao Financeira tem como origem CurrencyFn Loan transactionAmount Transacao Financeira and Medida de Divisa
(=>     (and         (instance ?S Swallowing)         (agent ?S ?H))     (exists (?M ?E ?ST ?O)         (and             (instance ?M Mouth)             (instance ?E Esophagus)             (instance ?ST Stomach)             (objectTransferred ?S ?O)             (origin ?S ?M)             (destination ?S ?ST)             (path ?S ?E))))	Mid-level-ontology.kif 6594-6606	Transferencia e' uma instancia de Swallowing Transferencia e' um agente de AutonomousAgent Objeto Objeto, TransferenciaT and Objeto Objeto e' uma instancia de Mouth Objeto e' uma instancia de Esophagus TransferenciaT e' uma instancia de Stomach objectTransferred Transferencia and Objeto Transferencia tem como origem Objeto Transferencia termina em TransferenciaT Objeto e' o caminho ao longo do qual Transferencia ocorre
(=>     (and         (instance ?SELL Selling)         (agent ?SELL ?AGENT))     (origin ?SELL ?AGENT))	Merge.kif 11955-11959	Processo e' uma instancia de Vender Processo e' um agente de AutonomousAgent Processo tem como origem AutonomousAgent
(=>     (and         (instance ?SOUND RadiatingSound)         (agent ?SOUND ?OBJ)         (attribute ?SOUND Audible))     (exists (?HUMAN ?HEAR)         (and             (instance ?HUMAN Human)             (capability                 (KappaFn ?HEAR                     (and                         (instance ?HEAR Hearing)                         (agent ?HEAR ?HUMAN)                         (destination ?HEAR ?HUMAN)                         (origin ?HEAR ?OBJ))) agent ?HUMAN))))	Merge.kif 13632-13646	Processo e' uma instancia de Som Irradiante Processo e' um agente de AutonomousAgent Audible e' um atributo de Processo Objeto Sequencia Simbolica Objeto e' uma instancia de Humano Objeto e' capaz de fazer a classe descrita por Sequencia Simbolica no role agent
(=>     (and         (instance ?SPIT Drooling)         (experiencer ?SPIT ?ANIMAL))     (exists (?MOUTH ?S)         (and             (instance ?MOUTH Mouth)             (objectTransferred ?SPIT ?S)             (instance ?S Saliva)             (part ?MOUTH ?ANIMAL)             (origin ?SPIT ?MOUTH))))	Mid-level-ontology.kif 6566-6576	Transferencia e' uma instancia de Drooling AutonomousAgent experimenta Transferencia Objeto Objeto Objeto e' uma instancia de Mouth objectTransferred Transferencia and Objeto Objeto e' uma instancia de Saliva Objeto e' uma &parte de AutonomousAgent Transferencia tem como origem Objeto
(=>     (and         (instance ?SPIT Spitting)         (agent ?SPIT ?ANIMAL))     (exists (?MOUTH)         (and             (instance ?MOUTH Mouth)             (part ?MOUTH ?ANIMAL)             (origin ?SPIT ?MOUTH))))	Mid-level-ontology.kif 6552-6560	Processo e' uma instancia de Spitting Processo e' um agente de AutonomousAgent Objeto Objeto e' uma instancia de Mouth Objeto e' uma &parte de AutonomousAgent Processo tem como origem Objeto
(=>     (and         (instance ?Service CommercialService)         (agent ?Service ?Agent)         (employs ?Org ?Agent)         (destination ?Service ?Customer))     (hasPurpose ?Service         (exists (?Transaction)             (and                 (instance ?Transaction FinancialTransaction)                 (destination ?Transaction ?Org)                 (origin ?Transaction ?Customer)))))	FinancialOntology.kif 3590-3601	Processo e' uma instancia de CommercialService Processo e' um agente de Agente Cognitivo AutonomousAgent emprega Agente Cognitivo Processo termina em Entidade Processo tem por fim Entidade Entidade e' uma instancia de Transacao Financeira Entidade termina em AutonomousAgent Entidade tem como origem Entidade
(=>     (and         (instance ?Statement BankStatement)         (statementAccount ?Statement ?Account))     (exists (?Transaction)         (and             (instance ?Transaction FinancialTransaction)             (or                 (origin ?Transaction                     (CurrencyFn ?Account))                 (destination ?Transaction                     (CurrencyFn ?Account)))             (realization ?Statement ?Transaction))))	FinancialOntology.kif 3885-3895	BankStatement e' uma instancia de BankStatement statementAccount BankStatement and FinancialAccount Processo Processo e' uma instancia de Transacao Financeira Processo tem como origem CurrencyFn FinancialAccount Processo termina em CurrencyFn FinancialAccount BankStatement exprime o conteudo de Processo
(=>     (and         (instance ?T Thoracentesis)         (patient ?T ?H))     (exists (?I ?O ?IN ?L ?C ?F)         (and             (instance ?I Inserting)             (subProcess ?I ?T)             (objectTransferred ?I ?N)             (origin ?I ?O)             (destination ?I ?IN)             (instance ?N Needle)             (attribute ?F Fluid)             (objectTransferred ?T ?F)             (destination ?F ?O)             (instance ?L Lung)             (instance ?C Chest)             (part ?L ?H)             (part ?C ?H)             (origin ?T ?IN)             (destination ?T ?O)             (between ?L ?IN ?C)             (orientation ?O ?H Outside))))	Medicine.kif 895-917	Transferencia e' uma instancia de Thoracentesis Objeto e' um patient de Transferencia Transferencia Objeto, TransferenciaN, Objeto, Objeto and Objeto Transferencia e' uma instancia de Inserting Transferencia e' um sub-processo de Transferencia objectTransferred Transferencia and Objeto Transferencia tem como origem Objeto Transferencia termina em TransferenciaN Objeto e' uma instancia de Needle Fluid e' um atributo de Objeto objectTransferred Transferencia and Objeto Objeto termina em Objeto Objeto e' uma instancia de Lung Objeto e' uma instancia de Chest Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Transferencia tem como origem TransferenciaN Transferencia termina em Objeto TransferenciaN esta' entre Objeto e Objeto Objeto e' Outside em relacao a Objeto
(=>     (and         (instance ?T TwoStrokeTransfer)         (instance ?C EngineCylinder)         (instance ?I InternalCombustionChamber)         (equal ?C             (HoleHostFn ?I))         (eventLocated ?T ?C))     (exists (?E ?M)         (and             (instance ?M GasMotion)             (instance ?E Exhaust)             (subProcess ?M ?T)             (origin ?M ?I)             (patient ?M ?E))))	Cars.kif 523-536	Processo e' uma instancia de TwoStrokeTransfer Objeto e' uma instancia de EngineCylinder Buraco e' uma instancia de InternalCombustionChamber Objeto e' igual a o dono do buraco Buraco eventLocated Processo and Objeto Entidade Processo Processo e' uma instancia de GasMotion Entidade e' uma instancia de Exhaust Processo e' um sub-processo de Processo Processo tem como origem Buraco Entidade e' um patient de Processo
(=>     (and         (instance ?T1 Translocation)         (instance ?T2 Translocation)         (origin ?T1 ?O1)         (origin ?T2 ?D1)         (destination ?T1 ?D1)         (destination ?T2 ?D2)         (experiencer ?T1 ?P)         (experiencer ?T2 ?P))     (exists (?T)         (and             (instance ?T Translocation)             (origin ?T ?O1)             (destination ?T ?D2)             (subProcess ?T1 ?T)             (subProcess ?T2 ?T)             (experiencer ?T ?P)             (starts                 (WhenFn ?T1)                 (WhenFn ?T))             (finishes                 (WhenFn ?T2)                 (WhenFn ?T)))))	Merge.kif 11327-11350	Processo e' uma instancia de Translocation Processo e' uma instancia de Translocation Processo tem como origem Objeto Processo tem como origem Objeto Processo termina em Objeto Processo termina em Entidade AutonomousAgent experimenta Processo AutonomousAgent experimenta Processo Processo Processo e' uma instancia de Translocation Processo tem como origem Objeto Processo termina em Entidade Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo AutonomousAgent experimenta Processo tempo de existencia de Processo comeca em tempo de existencia de Processo tempo de existencia de Processo termina em tempo de existencia de Processo
(=>     (and         (instance ?TRANS Buying)         (attribute ?TRANS CBT)         (patient ?TRANS ?OBJ)         (instance ?OBJ Object))     (exists (?SELLER ?BUYER ?BUYER_LOCATION ?SELLER_LOCATION)         (and             (instance ?BUYER AutonomousAgent)             (instance ?SELLER AutonomousAgent)             (agent ?TRANS ?BUYER)             (origin ?TRANS ?SELLER)             (instance ?BUYER_LOCATION GeopoliticalArea)             (instance ?SELLER_LOCATION GeopoliticalArea)             (located ?SELLER ?SELLER_LOCATION)             (located ?BUYER ?BUYER_LOCATION)             (not                 (equal ?BUYER_LOCATION ?SELLER_LOCATION)))))	UXExperimentalTerms.kif 1841-1858	Objeto e' uma instancia de Comprar CBT e' um atributo de Objeto Entidade e' um patient de Objeto Entidade e' uma instancia de Objeto Objeto AutonomousAgent, AutonomousAgent_LOCATION and Objeto_LOCATION AutonomousAgent e' uma instancia de AutonomousAgent Objeto e' uma instancia de AutonomousAgent Objeto e' um agente de AutonomousAgent Objeto tem como origem Objeto AutonomousAgent_LOCATION e' uma instancia de Area Geopolitica Objeto_LOCATION e' uma instancia de Area Geopolitica Objeto e' situado em Objeto_LOCATION AutonomousAgent e' situado em AutonomousAgent_LOCATION AutonomousAgent_LOCATION e' igual a Objeto_LOCATION
(=>     (and         (instance ?V PulmonaryVein)         (instance ?T Transfer)         (patient ?T ?B)         (instrument ?T ?V)         (instance ?B Blood))     (exists (?L ?H ?P)         (and             (instance ?L Lung)             (origin ?T ?L)             (part ?V ?P)             (part ?L ?P)             (part ?H ?P)             (instance ?H Heart)             (destination ?T ?H))))	Mid-level-ontology.kif 11156-11171	Objeto e' uma instancia de PulmonaryVein Processo e' uma instancia de Transferencia Entidade e' um patient de Processo Objeto e' um instrumento para Processo Entidade e' uma instancia de Sangue Objeto Objeto and Objeto Objeto e' uma instancia de Lung Processo tem como origem Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Heart Processo termina em Objeto
(=>     (and         (instance ?X Buffet)         (member ?ITEM ?X)         (located ?X ?LOC1)         (instance ?E Eating)         (agent ?E ?AGENT)         (eventLocated ?E ?LOC2)         (patient ?E ?ITEM))     (and         (not             (equal ?LOC1 ?LOC2))         (exists (?G)             (and                 (instance ?G Getting)                 (patient ?G ?ITEM)                 (origin ?G ?LOC1)                 (agent ?G ?AGENT)                 (before                     (WhenFn ?G)                     (WhenFn ?E))))))	Dining.kif 274-291	Colecao e' uma instancia de Buffet Fisico e' membro de Colecao Colecao e' situado em Objeto Processo e' uma instancia de Comer Processo e' um agente de AutonomousAgent eventLocated Processo and Objeto Fisico e' um patient de Processo Objeto e' igual a Objeto Processo Processo e' uma instancia de Obter Fisico e' um patient de Processo Processo tem como origem Objeto Processo e' um agente de AutonomousAgent tempo de existencia de Processo comeca antes de tempo de existencia de Processo
(=>     (and         (instance ?X DutyTax)         (refers ?X ?OBJ)         (patient ?X ?OBJ))     (exists (?T ?N1 ?N2)         (and             (instance ?T Transfer)             (patient ?T ?OBJ)             (origin ?T ?N1)             (destination ?T ?N2)             (instance ?N1 Nation)             (instance ?N2 Nation)             (not                 (equal ?N1 ?N2))             (earlier                 (WhenFn ?T)                 (WhenFn ?X))             (causes ?T ?X))))	FinancialOntology.kif 949-964	Processo e' uma instancia de DutyTax Processo inclui uma referencia a Entidade Entidade e' um patient de Processo Processo Objeto and Entidade Processo e' uma instancia de Transferencia Entidade e' um patient de Processo Processo tem como origem Objeto Processo termina em Entidade Objeto e' uma instancia de Nacao Entidade e' uma instancia de Nacao Objeto e' igual a Entidade tempo de existencia de Processo acontence antes de tempo de existencia de Processo Processo causa Processo
(=>     (and         (instance ?X TelephoneCommunication)         (attribute ?X Domestic))     (exists (?ORIGIN ?DEST ?COUNTRY)         (and             (origin ?X ?ORIGIN)             (destination ?X ?DEST)             (located ?ORIGIN ?COUNTRY)             (located ?DEST ?COUNTRY)             (instance ?COUNTRY Nation))))	Mid-level-ontology.kif 27113-27123	Objeto e' uma instancia de TelephoneCommunication Domestic e' um atributo de Objeto Objeto Fisico and Objeto Objeto tem como origem Objeto Objeto termina em Fisico Objeto e' situado em Objeto Fisico e' situado em Objeto Objeto e' uma instancia de Nacao
(=>     (and         (instance ?X TelephoneCommunication)         (attribute ?X International))     (exists (?ORIGIN ?DEST ?CTRY1 ?CTRY2)         (and             (origin ?X ?ORIGIN)             (destination ?X ?DEST)             (located ?ORIGIN ?CTRY1)             (located ?DEST ?CTRY2)             (instance ?CTRY1 Nation)             (instance ?CTRY2 Nation)             (not                 (equal ?CTRY1 ?CTRY2)))))	Mid-level-ontology.kif 27130-27142	Objeto e' uma instancia de TelephoneCommunication International e' um atributo de Objeto Objeto Fisico, Objeto and Objeto Objeto tem como origem Objeto Objeto termina em Fisico Objeto e' situado em Objeto Fisico e' situado em Objeto Objeto e' uma instancia de Nacao Objeto e' uma instancia de Nacao Objeto e' igual a Objeto
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