(=>     (and         (attribute ?I Inhabited)         (instance ?I Region))     (exists (?H)         (and             (instance ?H Human)             (inhabits ?H ?I))))	Mid-level-ontology.kif 30108-30115	attribute Oggetto and Inhabited Oggetto è un' istanza di Regione Organismo Organismo è un' istanza di Umano Organismo abitas in Oggetto
(=>     (and         (attribute ?INDIVIDUAL ?CH)         (instance ?CH Christian))     (member ?INDIVIDUAL Christianity))	People.kif 795-799	attribute Oggetto and Attributo Attributo è un' istanza di Christian Oggetto è un membro di Christianity
(=>     (and         (attribute ?LISTING ?ATTRIBUTE)         (instance ?ATTRIBUTE ListingAttribute))     (instance ?LISTING WebListing))	UXExperimentalTerms.kif 299-303	attribute Oggetto and Attributo Attributo è un' istanza di ListingAttribute Oggetto è un' istanza di WebListing
(=>     (and         (attribute ?M DemoRecording)         (instance ?M Recording))     (hasPurpose ?M         (exists (?D ?G ?MUSIC)             (and                 (instance ?D Demonstrating)                 (record ?M ?MUSIC)                 (patient ?D ?MUSIC)                 (destination ?D ?G)                 (instance ?G GroupOfPeople)))))	Music.kif 408-419	attribute Oggetto and DemoRecording Oggetto è un' istanza di Recording Oggetto ha scopo Entit� Entit� and OggettoUSIC Entit� è un' istanza di Demonstrating record Oggetto and OggettoUSIC OggettoUSIC è un paziente di Entit� Entit� fines in Entit� Entit� è un' istanza di GroupOfPeople
(=>     (and         (attribute ?M LiveRecording)         (instance ?M Recording))     (exists (?P)         (and             (instance ?P Performance)             (record ?M ?P))))	Music.kif 378-385	attribute OggettoSemiotico and LiveRecording OggettoSemiotico è un' istanza di Recording Entit�Concreta Entit�Concreta è un' istanza di Performance record OggettoSemiotico and Entit�Concreta
(=>     (and         (attribute ?M MashupRecording)         (instance ?M Recording))     (exists (?M1 ?M2 ?S1 ?S2)         (and             (musicInterpretation ?M1 ?S1)             (musicInterpretation ?M2 ?S2)             (not                 (equal ?S1 ?S2))             (part ?M1 ?M)             (part ?M2 ?M))))	Music.kif 426-436	attribute Oggetto and MashupRecording Oggetto è un' istanza di Recording Oggetto1 Oggetto2, Musica and Musica musicInterpretation Oggetto1 and Musica musicInterpretation Oggetto2 and Musica Musica is uguale a Musica Oggetto1 è una parte di Oggetto Oggetto2 è una parte di Oggetto
(=>     (and         (attribute ?M RemixRecording)         (instance ?M MusicRecording))     (exists (?O ?A)         (equal ?M             (RemixFn ?O ?A))))	Music.kif 444-449	attribute MusicRecording and RemixRecording MusicRecording è un' istanza di MusicRecording MusicRecording AgenteCognitivo MusicRecording is uguale a RemixFn MusicRecording and AgenteCognitivo
(=>     (and         (attribute ?M StudioRecording)         (instance ?M Recording))     (exists (?P ?S)         (and             (record ?M ?P)             (eventLocated ?P ?S)             (instance ?S RecordingStudio))))	Music.kif 392-400	attribute OggettoSemiotico and StudioRecording OggettoSemiotico è un' istanza di Recording Processo Oggetto record OggettoSemiotico and Processo eventLocated Processo and Oggetto Oggetto è un' istanza di RecordingStudio
(=>     (and         (attribute ?MILITARY PeaceState)         (instance ?MILITARY MilitaryOrganization)         (leaderPosition ?MILITARY ?LEADER))     (subordinatePosition ?MILITARY ?LEADER SecretaryOfDefense))	MilitaryPersons.kif 461-466	attribute Organizzazione and PeaceState Organizzazione è un' istanza di MilitaryOrganization leaderPosition Organizzazione and Posizione subordinatePosition Organizzazione, Posizione and SecretaryOfDefense
(=>     (and         (attribute ?MILITARY WarState)         (instance ?MILITARY MilitaryOrganization)         (leaderPosition ?MILITARY ?LEADER))     (subordinatePosition ?MILITARY ?LEADER President))	MilitaryPersons.kif 473-478	attribute Organizzazione and WarState Organizzazione è un' istanza di MilitaryOrganization leaderPosition Organizzazione and Posizione subordinatePosition Organizzazione, Posizione and President
(=>     (and         (attribute ?MR CoverRecording)         (instance ?MR MusicRecording)         (songArtist ?MR ?A)         (musicInterpretation ?MR ?M)         (record ?MR ?MM))     (exists (?ORIG ?ARTIST ?MUSIC)         (and             (musicInterpretation ?ORIG ?M)             (songArtist ?ORIG ?ARTIST)             (not                 (equal ?A ?ARTIST))             (record ?ORIG ?MUSIC)             (before                 (WhenFn ?MUSIC)                 (WhenFn ?MM)))))	Music.kif 457-470	attribute MusicRecording and CoverRecording MusicRecording è un' istanza di MusicRecording songArtist MusicRecording and AgenteCognitivo musicInterpretation MusicRecording and Musica record MusicRecording and MusicaM MusicRecording AgenteCognitivoRTIST and MusicaUSIC musicInterpretation MusicRecording and Musica songArtist MusicRecording and AgenteCognitivoRTIST AgenteCognitivo is uguale a AgenteCognitivoRTIST record MusicRecording and MusicaUSIC il tempo di esistenza di MusicaUSIC succede%{s} prima di il tempo di esistenza di MusicaM
(=>     (and         (attribute ?O ?P)         (instance ?P Fingerprint)         (not             (instance ?O Finger)))     (exists (?PR ?F)         (and             (instrument ?PR ?F)             (instance ?F Finger)             (attribute ?F ?P)             (patient ?PR ?O))))	Mid-level-ontology.kif 12536-12546	attribute Oggetto and Attributo Attributo è un' istanza di Fingerprint Oggetto è un' istanza di Finger AttributoR Oggetto Oggetto è uno strumento per AttributoR Oggetto è un' istanza di Finger attribute Oggetto and Attributo Oggetto è un paziente di AttributoR
(=>     (and         (attribute ?OBJ ?ATR)         (instance ?ATR SubjectiveAssessmentAttribute))     (exists (?TIME ?JUDGE ?AGENT)         (and             (instance ?JUDGE Judging)             (agent ?JUDGE ?AGENT)             (patient ?JUDGE ?OBJ)             (result ?JUDGE                 (attribute ?OBJ ?ATR))             (holdsDuring ?TIME                 (believes ?AGENT                     (property ?OBJ ?ATR))))))	Merge.kif 17354-17367	attribute Oggetto and Attributo Attributo è un' istanza di AttributoSoggettivo PosizioneTemporale Processo and AutonomousAgent Processo è un' istanza di Judging Processo è un agente di AutonomousAgent Oggetto è un paziente di Processo attribute Oggetto and Attributo è un risultato di Processo AutonomousAgent credes Oggetto ha un attributo Attributo vales durante PosizioneTemporale
(=>     (and         (attribute ?OBJ ?ATTR)         (instance ?ATTR FoodAttribute))     (instance ?OBJ PreparedFood))	Dining.kif 1130-1134	attribute Oggetto and Attributo Attributo è un' istanza di FoodAttribute Oggetto è un' istanza di PreparedFood
(=>     (and         (attribute ?OBJ ?SPHERE)         (instance ?SPHERE Sphere))     (exists (?CENTER ?DIST)         (forall (?PT)             (=>                 (pointOfFigure ?PT ?OBJ)                 (geometricDistance ?PT ?CENTER ?DIST)))))	Mid-level-ontology.kif 4989-4997	attribute Oggetto and Attributo Attributo è un' istanza di Sphere GeometricPoint MisuraDiLunghezza GeometricPoint pointOfFigure GeometricPoint and Oggetto geometricDistance GeometricPoint, GeometricPoint and MisuraDiLunghezza
(=>     (and         (attribute ?OBJ Monochromatic)         (superficialPart ?PART ?OBJ)         (attribute ?PART ?COLOR)         (instance ?COLOR PrimaryColor))     (forall (?ELEMENT)         (=>             (superficialPart ?ELEMENT ?OBJ)             (attribute ?ELEMENT ?COLOR))))	Merge.kif 17710-17719	attribute Oggetto and Monochromatic Oggetto è una parte superficiale di Oggetto attribute Oggetto and Attributo Attributo è un' istanza di ColorePirmario Oggetto Oggetto è una parte superficiale di Oggetto attribute Oggetto and Attributo
(=>     (and         (attribute ?OBJECT ?ATTRIBUTE)         (instance ?ATTRIBUTE Brushless))     (instance ?OBJECT ElectricalMotor))	engineering.kif 716-720	attribute Oggetto and Attributo Attributo è un' istanza di Brushless Oggetto è un' istanza di ElectricalMotor
(=>     (and         (attribute ?OFFICER ?COR)         (instance ?COR CommissionedOfficerRank))     (exists (?MANAGE ?PATIENT)         (and             (instance ?MANAGE Managing)             (agent ?MANAGE ?OFFICER)             (patient ?MANAGE ?PATIENT)             (or                 (instance ?PATIENT MilitaryOrganization)                 (attribute ?PATIENT Soldier)))))	Military.kif 286-297	attribute AutonomousAgent and Attributo Attributo è un' istanza di CommissionedOfficerRank Processo Oggetto Processo è un' istanza di Gestione Processo è un agente di AutonomousAgent Oggetto è un paziente di Processo Oggetto è un' istanza di MilitaryOrganization attribute Oggetto and Soldier
(=>     (and         (attribute ?ORG ?ATT)         (instance ?ATT BiologicalAttribute))     (instance ?ORG OrganicObject))	Merge.kif 18058-18062	attribute Oggetto and Attributo Attributo è un' istanza di AttributoBiologico Oggetto è un' istanza di Entit�Organica
(=>     (and         (attribute ?ORG ?ATT)         (instance ?ATT DeepSeaCoastalAndGreatLakesWaterTransportation))     (instance ?ORG TransportationCompany))	naics.kif 8114-8118	attribute Oggetto and Attributo Attributo è un' istanza di DeepSeaCoastalAndGreatLakesWaterTransportation Oggetto è un' istanza di TransportationCompany
(=>     (and         (attribute ?ORG UnicameralLegislature)         (legislativeBranch ?ORG ?AREA)         (instance ?CHAMBER1 LegislativeChamber)         (subOrganization ?CHAMBER1             (GovernmentFn ?AREA))         (instance ?CHAMBER2 LegislativeChamber)         (subOrganization ?CHAMBER2             (GovernmentFn ?AREA)))     (equal ?CHAMBER1 ?CHAMBER2))	Government.kif 1977-1985	attribute Organizzazione and UnicameralLegislature legislativeBranch Organizzazione and AreaGeopolitica Organizzazione è un' istanza di LegislativeChamber subOrganization Organizzazione and GovernmentFn AreaGeopolitica Organizzazione è un' istanza di LegislativeChamber subOrganization Organizzazione and GovernmentFn AreaGeopolitica Organizzazione is uguale a Organizzazione
(=>     (and         (attribute ?Order LimitOrder)         (partyToAgreement ?Order ?Broker)         (attribute ?Broker Broker)         (orderFor ?Order Buying ?Object)         (measure ?Object ?Quantity)         (limitPrice ?Order             (MeasureFn ?LimitPrice ?U))         (instance ?U UnitOfCurrency)         (askPrice ?Object             (MeasureFn ?Price ?U) ?Time)         (lessThanOrEqualTo ?Price ?LimitPrice))     (holdsObligation         (KappaFn ?Buy             (and                 (instance ?Buy Buying)                 (patient ?Buy ?Object)                 (measure ?Object ?Quantity)                 (equal                     (WhenFn ?Buy) ?BuyingTime)                 (overlapsTemporally ?Time ?BuyingTime))) ?Broker))	FinancialOntology.kif 2008-2029	attribute ScambioFinanziario and LimitOrder partyToAgreement ScambioFinanziario and Agreement attribute Agreement and Broker orderFor ScambioFinanziario, Acquistare and Security lamisura Security è Quantit�Fisica limitPrice ScambioFinanziario and NumeroReale Unit�DiMisura(s Unit�DiMisura è un' istanza di UnitOfCurrency askPrice Security, NumeroReale Unit�DiMisura(s and AutonomousAgent NumeroReale è minore o uguale a NumeroReale Agreement è obbligato a compiere il compito di tipo la classe descritta da Stringa
(=>     (and         (attribute ?Order LimitOrder)         (partyToAgreement ?Order ?Broker)         (attribute ?Broker Broker)         (orderFor ?Order Selling ?Object)         (measure ?Object ?Quantity)         (limitPrice ?Order             (MeasureFn ?LimitPrice ?U))         (bidPrice ?Object             (MeasureFn ?Price ?U) ?Time)         (instance ?U UnitOfCurrency)         (greaterThanOrEqualTo ?Price ?LimitPrice))     (holdsObligation         (KappaFn ?Sell             (and                 (instance ?Sell Selling)                 (patient ?Sell ?Object)                 (measure ?Object ?Quantity)                 (equal                     (WhenFn ?Sell) ?SellingTime)                 (overlapsTemporally ?SellingTime ?Time))) ?Broker))	FinancialOntology.kif 2031-2052	attribute ScambioFinanziario and LimitOrder partyToAgreement ScambioFinanziario and Agreement attribute Agreement and Broker orderFor ScambioFinanziario, Vendere and Security lamisura Security è Quantit�Fisica limitPrice ScambioFinanziario and NumeroReale Unit�DiMisura(s bidPrice Security, NumeroReale Unit�DiMisura(s and AutonomousAgent Unit�DiMisura è un' istanza di UnitOfCurrency NumeroReale è più grande di o uguale a NumeroReale Agreement è obbligato a compiere il compito di tipo la classe descritta da Stringa
(=>     (and         (attribute ?P ?R)         (instance ?R MilitaryRank))     (member ?P MilitaryService))	Military.kif 249-253	attribute Oggetto and Attributo Attributo è un' istanza di MilitaryRank Oggetto è un membro di MilitaryService
(=>     (and         (attribute ?PERSON ?ATTRIBUTE)         (instance ?ATTRIBUTE SocialRole))     (instance ?PERSON Human))	Merge.kif 17266-17270	attribute Oggetto and Attributo Attributo è un' istanza di RuoloSociale Oggetto è un' istanza di Umano
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