(<=>     (instance ?Index StockIndex)     (exists (?Stock)         (and             (instance ?Stock Stock)             (benchmark ?Index ?Stock))))	FinancialOntology.kif 1696-1701	Astratto è un' istanza di StockIndex PerformanceMeasure PerformanceMeasure è un' istanza di Stock benchmark Astratto and PerformanceMeasure
(<=>     (instance ?L Lamb)     (and         (instance ?L Sheep)         (attribute ?L NonFullyFormed)))	Mid-level-ontology.kif 20186-20190	Oggetto è un' istanza di Lamb Oggetto è un' istanza di Sheep attribute Oggetto and NonFullyFormed
(<=>     (instance ?Loan SecuredLoan)     (exists (?Security)         (securedBy ?Loan ?Security)))	FinancialOntology.kif 1348-1351	FinancialAccount è un' istanza di SecuredLoan Collateral securedBy FinancialAccount and Collateral
(<=>     (instance ?NUMBER NegativeRealNumber)     (and         (lessThan ?NUMBER 0)         (instance ?NUMBER RealNumber)))	Merge.kif 1948-1952	NumeroReale è un' istanza di NumeroRealeNegativo NumeroReale è meno di0 NumeroReale è un' istanza di NumeroReale
(<=>     (instance ?NUMBER NonnegativeRealNumber)     (and         (greaterThanOrEqualTo ?NUMBER 0)         (instance ?NUMBER RealNumber)))	Merge.kif 1926-1930	NumeroReale è un' istanza di NumeroRealeNonNegativo NumeroReale è più grande di o uguale a 0 NumeroReale è un' istanza di NumeroReale
(<=>     (instance ?NUMBER PositiveRealNumber)     (and         (greaterThan ?NUMBER 0)         (instance ?NUMBER RealNumber)))	Merge.kif 1937-1941	NumeroReale è un' istanza di NumeroRealePositivo NumeroReale è più grande di 0 NumeroReale è un' istanza di NumeroReale
(<=>     (instance ?ORG GovernmentOrganization)     (or         (instance ?ORG Government)         (exists (?GOV)             (and                 (instance ?GOV Government)                 (subOrganization ?ORG ?GOV)))))	Government.kif 108-115	Organizzazione è un' istanza di GovernmentOrganization Organizzazione è un' istanza di Governo Organizzazione Organizzazione è un' istanza di Governo subOrganization Organizzazione and Organizzazione
(<=>     (instance ?R Rooster)     (and         (instance ?R Chicken)         (attribute ?R Male)))	Mid-level-ontology.kif 20241-20245	Oggetto è un' istanza di Rooster Oggetto è un' istanza di Chicken attribute Oggetto and Male
(<=>     (instance ?RR BroadGaugeRailway)     (property ?RR BroadGauge))	Transportation.kif 411-413	Entit� è un' istanza di BroadGaugeRailway Entit� ha un attributo BroadGauge
(<=>     (instance ?RR DualGaugeRailway)     (property ?RR DualGauge))	Transportation.kif 469-471	Entit� è un' istanza di DualGaugeRailway Entit� ha un attributo DualGauge
(<=>     (instance ?RR NarrowGaugeRailway)     (property ?RR NarrowGauge))	Transportation.kif 460-462	Entit� è un' istanza di NarrowGaugeRailway Entit� ha un attributo NarrowGauge
(<=>     (instance ?RR StandardGaugeRailway)     (property ?RR StandardGauge))	Transportation.kif 443-445	Entit� è un' istanza di StandardGaugeRailway Entit� ha un attributo StandardGauge
(<=>     (instance ?STATE StateOrProvince)     (instance         (GovernmentFn ?STATE) StateGovernment))	Mid-level-ontology.kif 8326-8328	AreaGeopolitica è un' istanza di StatoOProvincia GovernmentFn AreaGeopolitica è un' istanza di StateGovernment
(<=>     (instance ?VERT Vertebrate)     (exists (?SPINE)         (and             (instance ?VERT Animal)             (component ?SPINE ?VERT)             (instance ?SPINE SpinalColumn))))	Mid-level-ontology.kif 10944-10950	OggettoCorpuscolare è un' istanza di Vertebrato OggettoCorpuscolare OggettoCorpuscolare è un' istanza di Animale OggettoCorpuscolare è un componente di OggettoCorpuscolare OggettoCorpuscolare è un' istanza di SpinalColumn
(<=>     (instance ?X DifferentialEquation)     (instance ?X         (AttrFn Equation DifferentialAttribute)))	engineering.kif 155-157	Entit� è un' istanza di DifferentialEquation Entit� è un' istanza di AttrFn Equation and DifferentialAttribute
(=>     (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         (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         (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         (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         (albumCoverImage ?A ?I)         (instance ?CD             (AlbumCopiesFn ?A ?DS))         (contains ?C ?CD))     (modalAttribute         (part ?I             (FrontFn ?C)) Likely))	Music.kif 316-322	albumCoverImage Album and Image Oggetto è un' istanza di AlbumCopiesFn Album and DataStorageDevice contains OggettoIntegro and Oggetto l'affermazione Image è una parte di il davanti di OggettoIntegro ha il modello di forza di Likely
(=>     (and         (allergic ?H ?S)         (instance ?SUB ?S)         (holdsDuring ?T             (meetsSpatially ?SUB ?H)))     (modalAttribute         (exists (?AR)             (and                 (instance ?AR AllergicReaction)                 (experiencer ?AR ?H)                 (overlapsTemporally ?T                     (WhenFn ?AR))                 (before                     (BeginFn ?T)                     (BeginFn                         (WhenFn ?AR))))) Likely))	Mid-level-ontology.kif 6231-6244	allergic Umano and Sostanza SostanzaUB è un' istanza di Sostanza SostanzaUB incontras Umano vales durante PosizioneTemporale l'affermazione Entit� Entit� è un' istanza di AllergicReaction Umano esperisces Entit� il tempo di esistenza di Entit� sovrappones PosizioneTemporale l' inizio di PosizioneTemporale succede%{s} prima di l' inizio di il tempo di esistenza di Entit� ha il modello di forza di Likely
(=>     (and         (amount ?S ?CO             (MeasureFn ?N ?U))         (instance ?SI ?S)         (measure ?SI             (MeasureFn ?N2 ?U))         (part ?SI ?CO))     (exists (?L)         (and             (inList                 (MeasureFn ?N2 ?U) ?L)             (equal ?L                 (AmountsFn ?S ?CO ?U))             (equal ?N                 (ListSumFn ?L)))))	Merge.kif 7596-7611	amount Sostanza, OggettoCorpuscolare and NumeroReale UnitOfMass(s SostanzaI è un' istanza di Sostanza lamisura SostanzaI è NumeroReale2 UnitOfMass(s SostanzaI è una parte di OggettoCorpuscolare Lista NumeroReale2 UnitOfMass(s è un Lista Lista is uguale a AmountsFn Sostanza, OggettoCorpuscolare and UnitOfMass NumeroReale is uguale a ListSumFn Lista
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