(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO City))     (postCity ?PLACE ?GEO))	Mid-level-ontology.kif 24763-24768	PostalPlace e' situado em Cidade PostalPlace e' uma instancia de PostalPlace Cidade e' uma instancia de Cidade postCity PostalPlace and Cidade
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO Neighborhood))     (postNeighborhood ?PLACE ?GEO))	Mid-level-ontology.kif 24676-24681	PostalPlace e' situado em Neighborhood PostalPlace e' uma instancia de PostalPlace Neighborhood e' uma instancia de Neighborhood postNeighborhood PostalPlace and Neighborhood
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO StateOrProvince))     (postDistrict ?PLACE ?GEO))	Mid-level-ontology.kif 24747-24752	PostalPlace e' situado em Estado ou Provincia PostalPlace e' uma instancia de PostalPlace Estado ou Provincia e' uma instancia de Estado ou Provincia postDistrict PostalPlace and Estado ou Provincia
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (or             (instance ?GEO Nation)             (instance ?GEO DependencyOrSpecialSovereigntyArea)))     (postCountry ?PLACE ?GEO))	Mid-level-ontology.kif 24713-24720	PostalPlace e' situado em Area Geopolitica PostalPlace e' uma instancia de PostalPlace Area Geopolitica e' uma instancia de Nacao Area Geopolitica e' uma instancia de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and Area Geopolitica
(<=>     (exists (?Period)         (and             (instance ?Loan Loan)             (agreementPeriod ?Loan ?Period)             (interestEarned ?Loan ?Amount ?Period)))     (loanInterest ?Loan ?Amount))	FinancialOntology.kif 3920-3926	Intervalo Temporal Loan e' uma instancia de Loan agreementPeriod Loan and Intervalo Temporal interestEarned Loan, Interest and Intervalo Temporal loanInterest Loan and Interest
(<=>     (exists (?Stock ?StockPrice ?StrikePrice)         (and             (instance ?Option CallOption)             (underlier ?Option ?Stock)             (price ?Stock                 (MeasureFn ?StockPrice ?U) ?Time)             (instance ?U UnitOfCurrency)             (strikePrice ?Option                 (MeasureFn ?StrikePrice ?U))             (lessThan ?StockPrice ?StrikePrice)))     (outOfTheMoney ?Option ?Time))	FinancialOntology.kif 3051-3062	FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) FinancialInstrumentPrice e' menos que Numero Real outOfTheMoney Agreement and AutonomousAgent
(<=>     (exists (?Stock ?StockPrice ?StrikePrice)         (and             (instance ?Option CallOption)             (underlier ?Option ?Stock)             (price ?Stock                 (MeasureFn ?StockPrice ?U) ?Time)             (instance ?U UnitOfCurrency)             (strikePrice ?Option                 (MeasureFn ?StrikePrice ?U))             (lessThan ?StrikePrice ?StockPrice)))     (inTheMoney ?Option ?Time))	FinancialOntology.kif 3002-3013	FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) Numero Real e' menos que FinancialInstrumentPrice inTheMoney Agreement and AutonomousAgent
(<=>     (exists (?Stock ?StockPrice ?StrikePrice)         (and             (instance ?Option Option)             (underlier ?Option ?Stock)             (price ?Stock ?StockPrice ?Time)             (strikePrice ?Option ?StrikePrice)             (equal ?StockPrice ?StrikePrice)))     (atTheMoney ?Option ?Time))	FinancialOntology.kif 3034-3042	FinancialInstrument FinancialInstrumentPrice and Medida de Divisa Agreement e' uma instancia de Option underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and AutonomousAgent strikePrice Agreement and Medida de Divisa FinancialInstrumentPrice e' igual a Medida de Divisa atTheMoney Agreement and AutonomousAgent
(<=>     (exists (?Stock ?StockPrice ?StrikePrice)         (and             (instance ?Option PutOption)             (underlier ?Option ?Stock)             (price ?Stock                 (MeasureFn ?StockPrice ?U) ?Time)             (instance ?U UnitOfCurrency)             (strikePrice ?Option                 (MeasureFn ?StrikePrice ?U))             (lessThan ?StockPrice ?StrikePrice)))     (inTheMoney ?Option ?Time))	FinancialOntology.kif 3015-3026	FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) FinancialInstrumentPrice e' menos que Numero Real inTheMoney Agreement and AutonomousAgent
(<=>     (exists (?Stock ?StockPrice ?StrikePrice)         (and             (instance ?Option PutOption)             (underlier ?Option ?Stock)             (price ?Stock                 (MeasureFn ?StockPrice ?U) ?Time)             (instance ?U UnitOfCurrency)             (strikePrice ?Option                 (MeasureFn ?StrikePrice ?U))             (lessThan ?StrikePrice ?StockPrice)))     (outOfTheMoney ?Option ?Time))	FinancialOntology.kif 3064-3075	FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) Numero Real e' menos que FinancialInstrumentPrice outOfTheMoney Agreement and AutonomousAgent
(<=>     (holdsDuring ?T         (and             (instance ?PERSON Human)             (forall (?ORG)                 (not                     (employs ?ORG ?PERSON)))))     (holdsDuring ?T         (attribute ?PERSON Unemployed)))	Merge.kif 17254-17262	Entidade e' uma instancia de Humano Entidade Entidade nao emprega %n Entidade vale durante Posicao Temporal Unemployed e' um atributo de Entidade vale durante Posicao Temporal
(=>     (and         (?ROLE ?EVENT ?OBJ)         (instance ?ROLE CaseRole)         (instance ?EVENT Process)         (instance ?OBJ Object))     (playsRoleInEvent ?OBJ ?ROLE ?EVENT))	Mid-level-ontology.kif 23252-23258	Role em Caso Processo and Objeto Role em Caso e' uma instancia de Role em Caso Processo e' uma instancia de Processo Objeto e' uma instancia de Objeto playsRoleInEvent Objeto, Role em Caso and Processo
(=>     (and         (abbreviatedDisplayTitle ?STRING ?CBP-TYPE ?LANGUAGE)         (instance ?X ?CBP-TYPE))     (abbreviation ?STRING ?X))	Media.kif 3165-3169	abbreviatedDisplayTitle Sequencia Simbolica, Entidade-TYPE and Linguagem Entidade e' uma instancia de Entidade-TYPE abbreviation Sequencia Simbolica and Entidade
(=>     (and         (accountAtSite ?ACCOUNT ?SITE)         (hasAccount ?USER ?ACCOUNT))     (registeredUser ?USER ?SITE))	UXExperimentalTerms.kif 881-885	accountAtSite UserAccount and WebSite hasAccount AutonomousAgent and UserAccount registeredUser AutonomousAgent and WebSite
(=>     (and         (accountHolder ?Account ?Agent)         (accountAt ?Account ?Bank))     (customer ?Agent ?Bank))	FinancialOntology.kif 3621-3625	accountHolder FinancialAccount and Agente Cognitivo accountAt FinancialAccount and FinancialOrganization customer Agente Cognitivo and FinancialOrganization
(=>     (and         (acronym ?STRING ?THING)         (inString ?CHAR ?STRING))     (instance ?CHAR AlphabeticCharacter))	Media.kif 3041-3045	acronym Sequencia Simbolica and Entidade inString Caracter and Sequencia Simbolica Caracter e' uma instancia de AlphabeticCharacter
(=>     (and         (actedIn ?ACTOR ?O)         (instance ?PERF DramaticActing)         (patient ?PERF ?ACTOR)         (result ?PERF ?O))     (holdsDuring         (WhenFn ?PERF)         (attribute ?ACTOR Actor)))	Mid-level-ontology.kif 20760-20767	actedIn Humano and ContentBearingPhysical Processo e' uma instancia de DramaticActing Humano e' um patient de Processo ContentBearingPhysical e' o resultado de Processo Actor e' um atributo de Humano vale durante tempo de existencia de Processo
(=>     (and         (agent ?PROCESS ?AGENT)         (result ?PROCESS ?WORK)         (instance ?WORK ArtWork))     (holdsDuring         (WhenFn ?PROCESS)         (attribute ?AGENT Artist)))	Mid-level-ontology.kif 18837-18843	Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo Entidade e' uma instancia de Objeto de Arte Artist e' um atributo de AutonomousAgent vale durante tempo de existencia de Processo
(=>     (and         (agent ?Purchase ?Buyer)         (origin ?Purchase ?Seller)         (patient ?Purchase ?Object)         (monetaryValue ?Object ?Money))     (exists (?Payment)         (and             (subProcess ?Payment ?Purchase)             (instance ?Payment Payment)             (transactionAmount ?Payment ?Money)             (origin ?Payment ?Buyer)             (destination ?Payment ?Seller))))	FinancialOntology.kif 487-499	Processo e' um agente de AutonomousAgent Processo tem como origem Objeto Fisico e' um patient de Processo o valor de Fisico e' Medida de Divisa Transacao Financeira Transacao Financeira e' um sub-processo de Processo Transacao Financeira e' uma instancia de Payment transactionAmount Transacao Financeira and Medida de Divisa Transacao Financeira tem como origem AutonomousAgent Transacao Financeira termina em Objeto
(=>     (and         (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)         (or             (equal ?ATTR Obligation)             (equal ?ATTR Promise)))     (modalAttribute         (exists (?PROC)             (and                 (realization ?PROC ?PROP)                 (agent ?PROC ?AGENT))) Likely))	Mid-level-ontology.kif 14079-14089	agreementClause Proposicao, Atributo Deontico, Agreement and Agente Cognitivo Atributo Deontico e' igual a Obligation Atributo Deontico e' igual a Promise o argumento Entidade Entidade exprime o conteudo de Proposicao Entidade e' um agente de Agente Cognitivo tem a forca modal de Likely
(=>     (and         (agreementEffectiveDate ?AGR ?DATE)         (confersObligation ?FORMULA ?AGR ?AGENT)         (instance ?TIME ?DATE))     (holdsDuring         (ImmediateFutureFn ?TIME)         (holdsObligation ?FORMULA ?AGENT)))	Government.kif 714-719	agreementEffectiveDate Agreement and Ponto no tempo Agreement obriga Agente Cognitivo a executar tarefas de tipo Formula Posicao Temporal e' uma instancia de Ponto no tempo Agente Cognitivo e' obrigado a executar tarefas de tipo Formula vale durante imediatemente apos Posicao Temporal
(=>     (and         (agreementEffectiveDate ?AGR ?DATE)         (confersRight ?FORMULA ?AGR ?AGENT)         (instance ?TIME ?DATE))     (holdsDuring         (ImmediateFutureFn ?TIME)         (holdsRight ?FORMULA ?AGENT)))	Government.kif 721-726	agreementEffectiveDate Agreement and Ponto no tempo Agreement autoriza Agente Cognitivo a executar tarefas de tipo Formula Posicao Temporal e' uma instancia de Ponto no tempo Agente Cognitivo tem o direito de executar Formula vale durante imediatemente apos Posicao Temporal
(=>     (and         (agreementEffectiveDate ?Account ?Date)         (currentAccountBalance ?Account ?Date ?Balance))     (originalBalance ?Account ?Balance))	FinancialOntology.kif 722-726	agreementEffectiveDate FinancialAccount and Ponto no tempo currentAccountBalance FinancialAccount, Ponto no tempo and Medida de Divisa originalBalance FinancialAccount and Medida de Divisa
(=>     (and         (agreementEffectiveDuring ?AGR ?DATE)         (instance ?TIME ?DATE)         (instance ?FORMULA Formula)         (containsInformation ?FORMULA ?AGR))     (holdsDuring ?TIME ?FORMULA))	Government.kif 766-772	agreementEffectiveDuring Proposicao and Posicao Temporal Posicao Temporal e' uma instancia de Posicao Temporal Formula e' uma instancia de Formula Formula contem informacao Proposicao Formula vale durante Posicao Temporal
(=>     (and         (agreementPeriod ?AGREEMENT ?DURATION)         (agreementEffectiveDate ?AGREEMENT ?STARTDATE))     (holdsDuring         (TimePeriodFn ?STARTDATE ?DURATION)         (property ?AGREEMENT ActiveAgreement)))	Mid-level-ontology.kif 14016-14021	agreementPeriod Agreement and Intervalo Temporal agreementEffectiveDate Agreement and Ponto no tempo Agreement tem um atributo de ActiveAgreement vale durante TimePeriodFn Ponto no tempo and Intervalo Temporal
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