(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO City))     (postCity ?PLACE ?GEO))	Mid-level-ontology.kif 24763-24768	PostalPlace è localizzato in Citt� PostalPlace è un' istanza di PostalPlace Citt� è un' istanza di Citt� postCity PostalPlace and Citt�
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (instance ?GEO Neighborhood))     (postNeighborhood ?PLACE ?GEO))	Mid-level-ontology.kif 24676-24681	PostalPlace è localizzato in Neighborhood PostalPlace è un' istanza di PostalPlace Neighborhood è un' istanza di 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 è localizzato in StatoOProvincia PostalPlace è un' istanza di PostalPlace StatoOProvincia è un' istanza di StatoOProvincia postDistrict PostalPlace and StatoOProvincia
(<=>     (and         (located ?PLACE ?GEO)         (instance ?PLACE PostalPlace)         (or             (instance ?GEO Nation)             (instance ?GEO DependencyOrSpecialSovereigntyArea)))     (postCountry ?PLACE ?GEO))	Mid-level-ontology.kif 24713-24720	PostalPlace è localizzato in AreaGeopolitica PostalPlace è un' istanza di PostalPlace AreaGeopolitica è un' istanza di Nazione AreaGeopolitica è un' istanza di DependencyOrSpecialSovereigntyArea postCountry PostalPlace and AreaGeopolitica
(<=>     (exists (?Period)         (and             (instance ?Loan Loan)             (agreementPeriod ?Loan ?Period)             (interestEarned ?Loan ?Amount ?Period)))     (loanInterest ?Loan ?Amount))	FinancialOntology.kif 3920-3926	IntervalloTemporale Loan è un' istanza di Loan agreementPeriod Loan and IntervalloTemporale interestEarned Loan, Interest and IntervalloTemporale 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 NumeroReale Agreement è un' istanza di CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unit�DiMisura(s and AutonomousAgent Unit�DiMisura è un' istanza di UnitOfCurrency strikePrice Agreement and NumeroReale Unit�DiMisura(s FinancialInstrumentPrice è meno di NumeroReale 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 NumeroReale Agreement è un' istanza di CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unit�DiMisura(s and AutonomousAgent Unit�DiMisura è un' istanza di UnitOfCurrency strikePrice Agreement and NumeroReale Unit�DiMisura(s NumeroReale è meno di 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 MisuraMonetaria Agreement è un' istanza di Option underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and AutonomousAgent strikePrice Agreement and MisuraMonetaria FinancialInstrumentPrice is uguale a MisuraMonetaria 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 NumeroReale Agreement è un' istanza di PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unit�DiMisura(s and AutonomousAgent Unit�DiMisura è un' istanza di UnitOfCurrency strikePrice Agreement and NumeroReale Unit�DiMisura(s FinancialInstrumentPrice è meno di NumeroReale 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 NumeroReale Agreement è un' istanza di PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unit�DiMisura(s and AutonomousAgent Unit�DiMisura è un' istanza di UnitOfCurrency strikePrice Agreement and NumeroReale Unit�DiMisura(s NumeroReale è meno di 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	Entit� è un' istanza di Umano Entit� Entit� non impiega Entit� vales durante PosizioneTemporale attribute Entit� and Unemployed vales durante PosizioneTemporale
(=>     (and         (?ROLE ?EVENT ?OBJ)         (instance ?ROLE CaseRole)         (instance ?EVENT Process)         (instance ?OBJ Object))     (playsRoleInEvent ?OBJ ?ROLE ?EVENT))	Mid-level-ontology.kif 23252-23258	RuoloSemantico Processo and Oggetto RuoloSemantico è un' istanza di RuoloSemantico Processo è un' istanza di Processo Oggetto è un' istanza di Oggetto playsRoleInEvent Oggetto, RuoloSemantico and Processo
(=>     (and         (abbreviatedDisplayTitle ?STRING ?CBP-TYPE ?LANGUAGE)         (instance ?X ?CBP-TYPE))     (abbreviation ?STRING ?X))	Media.kif 3165-3169	abbreviatedDisplayTitle Stringa, Entit�-TYPE and Linguaggio Entit� è un' istanza di Entit�-TYPE abbreviation Stringa and Entit�
(=>     (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 AgenteCognitivo accountAt FinancialAccount and FinancialOrganization customer AgenteCognitivo and FinancialOrganization
(=>     (and         (acronym ?STRING ?THING)         (inString ?CHAR ?STRING))     (instance ?CHAR AlphabeticCharacter))	Media.kif 3041-3045	acronym Stringa and Entit� inString Carattere and Stringa Carattere è un' istanza di 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 Umano and ContentBearingPhysical Processo è un' istanza di DramaticActing Umano è un paziente di Processo ContentBearingPhysical è un risultato di Processo attribute Umano and Actor vales durante il tempo di esistenza di Processo
(=>     (and         (agent ?PROCESS ?AGENT)         (result ?PROCESS ?WORK)         (instance ?WORK ArtWork))     (holdsDuring         (WhenFn ?PROCESS)         (attribute ?AGENT Artist)))	Mid-level-ontology.kif 18837-18843	Processo è un agente di AutonomousAgent Entit� è un risultato di Processo Entit� è un' istanza di OperaD'Arte attribute AutonomousAgent and Artist vales durante il tempo di esistenza di 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 è un agente di AutonomousAgent Processo si originas in Oggetto Entit�Concreta è un paziente di Processo valore di Entit�Concreta è MisuraMonetaria ScambioFinanziario ScambioFinanziario è un sottoprocesso di Processo ScambioFinanziario è un' istanza di Payment transactionAmount ScambioFinanziario and MisuraMonetaria ScambioFinanziario si originas in AutonomousAgent ScambioFinanziario fines in Oggetto
(=>     (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 Proposizione, AttributoDeontico, Agreement and AgenteCognitivo AttributoDeontico is uguale a Obligation AttributoDeontico is uguale a Promise l'affermazione Entit� Entit� esprime il contenuto di Proposizione Entit� è un agente di AgenteCognitivo ha il modello di forza di 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 PuntoTemporale Agreement obbliga AgenteCognitivo a compiere il compito di tipo Formula PosizioneTemporale è un' istanza di PuntoTemporale AgenteCognitivo è obbligato a compiere il compito di tipo Formula vales durante immediatamente dopo PosizioneTemporale
(=>     (and         (agreementEffectiveDate ?AGR ?DATE)         (confersRight ?FORMULA ?AGR ?AGENT)         (instance ?TIME ?DATE))     (holdsDuring         (ImmediateFutureFn ?TIME)         (holdsRight ?FORMULA ?AGENT)))	Government.kif 721-726	agreementEffectiveDate Agreement and PuntoTemporale Agreement permette a AgenteCognitivo di compiere il compito di tipo Formula PosizioneTemporale è un' istanza di PuntoTemporale AgenteCognitivo ha il diritto di compiere Formula vales durante immediatamente dopo PosizioneTemporale
(=>     (and         (agreementEffectiveDate ?Account ?Date)         (currentAccountBalance ?Account ?Date ?Balance))     (originalBalance ?Account ?Balance))	FinancialOntology.kif 722-726	agreementEffectiveDate FinancialAccount and PuntoTemporale currentAccountBalance FinancialAccount, PuntoTemporale and MisuraMonetaria originalBalance FinancialAccount and MisuraMonetaria
(=>     (and         (agreementEffectiveDuring ?AGR ?DATE)         (instance ?TIME ?DATE)         (instance ?FORMULA Formula)         (containsInformation ?FORMULA ?AGR))     (holdsDuring ?TIME ?FORMULA))	Government.kif 766-772	agreementEffectiveDuring Proposizione and PosizioneTemporale PosizioneTemporale è un' istanza di PosizioneTemporale Formula è un' istanza di Formula Formula contienes informazione Proposizione Formula vales durante PosizioneTemporale
(=>     (and         (agreementPeriod ?AGREEMENT ?DURATION)         (agreementEffectiveDate ?AGREEMENT ?STARTDATE))     (holdsDuring         (TimePeriodFn ?STARTDATE ?DURATION)         (property ?AGREEMENT ActiveAgreement)))	Mid-level-ontology.kif 14016-14021	agreementPeriod Agreement and IntervalloTemporale agreementEffectiveDate Agreement and PuntoTemporale Agreement ha un attributo ActiveAgreement vales durante TimePeriodFn PuntoTemporale and IntervalloTemporale
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