(<=>     (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
(<=>     (instance ?B Bull)     (and         (instance ?B Cattle)         (attribute ?B Female)))	Mid-level-ontology.kif 20200-20204	Oggetto è un' istanza di Bull Oggetto è un' istanza di Cattle attribute Oggetto and Female
(<=>     (instance ?B Bull)     (and         (instance ?B Cattle)         (attribute ?B Male)))	Mid-level-ontology.kif 20218-20222	Oggetto è un' istanza di Bull Oggetto è un' istanza di Cattle attribute Oggetto and Male
(<=>     (instance ?BONE Bone)     (exists (?SKELETON)         (and             (or                 (instance ?SKELETON Skeleton)                 (instance ?SKELETON Exoskeleton))             (part ?BONE ?SKELETON))))	Mid-level-ontology.kif 11682-11689	Oggetto è un' istanza di Osso Oggetto Oggetto è un' istanza di Skeleton Oggetto è un' istanza di Exoskeleton Oggetto è una parte di Oggetto
(<=>     (instance ?C Calf)     (and         (instance ?C Cattle)         (attribute ?C NonFullyFormed)))	Mid-level-ontology.kif 20209-20213	Oggetto è un' istanza di Calf Oggetto è un' istanza di Cattle attribute Oggetto and NonFullyFormed
(<=>     (instance ?C City)     (instance         (GovernmentFn ?C) CityGovernment))	Mid-level-ontology.kif 8333-8335	AreaGeopolitica è un' istanza di Citt� GovernmentFn AreaGeopolitica è un' istanza di CityGovernment
(<=>     (instance ?CONTINENT Continent)     (or         (equal Africa ?CONTINENT)         (equal NorthAmerica ?CONTINENT)         (equal SouthAmerica ?CONTINENT)         (equal Antarctica ?CONTINENT)         (equal Europe ?CONTINENT)         (equal Asia ?CONTINENT)         (equal Oceania ?CONTINENT)))	Geography.kif 3504-3513	Entit� è un' istanza di Continente Africa is uguale a Entit� NorthAmerica is uguale a Entit� SouthAmerica is uguale a Entit� Antarctica is uguale a Entit� Europe is uguale a Entit� Asia is uguale a Entit� Oceania is uguale a Entit�
(<=>     (instance ?CS ConjugatedSubstance)     (exists (?C1 ?C2 ?P)         (and             (instance ?C1 CompoundSubstance)             (instance ?C2 CompoundSubstance)             (not                 (equal ?C1 ?C2))             (instance ?P ChemicalSynthesis)             (resource ?P ?C1)             (resource ?P ?C2)             (result ?P ?CS))))	Mid-level-ontology.kif 6478-6488	Entit� è un' istanza di ConjugatedSubstance Oggetto Oggetto and Processo Oggetto è un' istanza di Composto Oggetto è un' istanza di Composto Oggetto is uguale a Oggetto Processo è un' istanza di SintesiChimica Oggetto è una risorsa per Processo Oggetto è una risorsa per Processo Entit� è un risultato di Processo
(<=>     (instance ?Collateral Collateral)     (exists (?Loan)         (and             (instance ?Loan SecuredLoan)             (securedBy ?Loan ?Collateral))))	FinancialOntology.kif 1321-1326	Collateral è un' istanza di Collateral FinancialAccount FinancialAccount è un' istanza di SecuredLoan securedBy FinancialAccount and Collateral
(<=>     (instance ?DISTRICT CityDistrict)     (exists (?CITY)         (and             (instance ?CITY City)             (geopoliticalSubdivision ?DISTRICT ?CITY))))	Mid-level-ontology.kif 8080-8085	AreaGeopolitica è un' istanza di CityDistrict AreaGeopolitica AreaGeopolitica è un' istanza di Citt� geopoliticalSubdivision AreaGeopolitica and AreaGeopolitica
(<=>     (instance ?DV DamagedVehicle)     (and         (instance ?DV Vehicle)         (attribute ?DV DeviceDamaged)))	Mid-level-ontology.kif 30094-30098	Oggetto è un' istanza di DamagedVehicle Oggetto è un' istanza di Vehicle attribute Oggetto and DeviceDamaged
(<=>     (instance ?H Hen)     (and         (instance ?H Chicken)         (attribute ?H Female)))	Mid-level-ontology.kif 20232-20236	Oggetto è un' istanza di Hen Oggetto è un' istanza di Chicken attribute Oggetto and Female
(<=>     (instance ?HEMISPHERE Hemisphere)     (or         (equal ?HEMISPHERE NorthernHemisphere)         (equal ?HEMISPHERE SouthernHemisphere)         (equal ?HEMISPHERE EasternHemisphere)         (equal ?HEMISPHERE WesternHemisphere)))	Geography.kif 3488-3494	Entit� è un' istanza di Hemisphere Entit� is uguale a NorthernHemisphere Entit� is uguale a SouthernHemisphere Entit� is uguale a EasternHemisphere Entit� is uguale a WesternHemisphere
(<=>     (instance ?Hardware ComputerHardware)     (exists (?Computer)         (and             (instance ?Computer Computer)             (component ?Hardware ?Computer))))	QoSontology.kif 63-68	OggettoCorpuscolare è un' istanza di ComputerHardware OggettoCorpuscolare OggettoCorpuscolare è un' istanza di Computer OggettoCorpuscolare è un componente di OggettoCorpuscolare
(<=>     (instance ?ICE Ice)     (and         (instance ?ICE Water)         (attribute ?ICE Solid)))	Mid-level-ontology.kif 8979-8983	Oggetto è un' istanza di Ice Oggetto è un' istanza di Acqua attribute Oggetto and Solid
(<=>     (instance ?Index InflationIndex)     (exists (?Inflation)         (and             (instance ?Inflation Inflation)             (benchmark ?Inflation ?Index))))	FinancialOntology.kif 1668-1673	PerformanceMeasure è un' istanza di InflationIndex Astratto Astratto è un' istanza di Inflation benchmark Astratto and PerformanceMeasure
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