(=>     (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 FOKOrder)         (agreementPeriod ?Order ?Period))     (or         (exists (?Fill ?Time1)             (and                 (instance ?Fill FillingAnOrder)                 (patient ?Fill ?Order)                 (equal                     (WhenFn ?Fill) ?Time1)                 (starts ?Time1 ?Period)))         (exists (?Kill ?Time2)             (and                 (instance ?Kill CancellingAnOrder)                 (patient ?Kill ?Order)                 (equal                     (WhenFn ?Kill) ?Time2)                 (starts ?Time2 ?Period)))))	FinancialOntology.kif 2881-2897	attribute Agreement and FOKOrder agreementPeriod Agreement and IntervalloTemporale Processo IntervalloTemporale Processo è un' istanza di FillingAnOrder Agreement è un paziente di Processo il tempo di esistenza di Processo is uguale a IntervalloTemporale IntervalloTemporale inizias IntervalloTemporale Processo IntervalloTemporale Processo è un' istanza di CancellingAnOrder Agreement è un paziente di Processo il tempo di esistenza di Processo is uguale a IntervalloTemporale IntervalloTemporale inizias IntervalloTemporale
(=>     (and         (attribute ?Order GTCOrder)         (agreementPeriod ?Order ?Period))     (or         (exists (?Execute ?Time)             (and                 (instance ?Execute FillingAnOrder)                 (patient ?Execute ?Order)                 (equal                     (WhenFn ?Execute) ?Time)                 (overlapsTemporally ?Time ?Period)))         (exists (?Cancel ?End)             (and                 (instance ?Cancel CancellingAnOrder)                 (patient ?Cancel ?Order)                 (equal                     (WhenFn ?Cancel) ?End)                 (finishes ?End ?Period)))))	FinancialOntology.kif 2917-2933	attribute Agreement and GTCOrder agreementPeriod Agreement and IntervalloTemporale Processo IntervalloTemporale Processo è un' istanza di FillingAnOrder Agreement è un paziente di Processo il tempo di esistenza di Processo is uguale a IntervalloTemporale IntervalloTemporale sovrappones IntervalloTemporale Processo IntervalloTemporale Processo è un' istanza di CancellingAnOrder Agreement è un paziente di Processo il tempo di esistenza di Processo is uguale a IntervalloTemporale IntervalloTemporale finiscees IntervalloTemporale
(=>     (and         (attribute ?Order IOCOrder)         (agreementPeriod ?Order ?Period))     (or         (exists (?Fill ?Time1)             (and                 (instance ?Fill FillingAnOrder)                 (patient ?Fill ?Order)                 (equal                     (WhenFn ?Fill) ?Time1)                 (starts ?Time1 ?Period)))         (exists (?Kill ?Time2)             (and                 (instance ?Kill CancellingAnOrder)                 (patient ?Kill ?Order)                 (equal                     (WhenFn ?Kill) ?Time2)                 (starts ?Time2 ?Period)))))	FinancialOntology.kif 2854-2870	attribute Agreement and IOCOrder agreementPeriod Agreement and IntervalloTemporale Processo IntervalloTemporale Processo è un' istanza di FillingAnOrder Agreement è un paziente di Processo il tempo di esistenza di Processo is uguale a IntervalloTemporale IntervalloTemporale inizias IntervalloTemporale Processo IntervalloTemporale Processo è un' istanza di CancellingAnOrder Agreement è un paziente di Processo il tempo di esistenza di Processo is uguale a IntervalloTemporale IntervalloTemporale inizias IntervalloTemporale
(=>     (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 ?Order MarketOrder)         (attribute ?Broker Broker)         (partyToAgreement ?Order ?Broker)         (orderFor ?Order ?TransactionType ?Shares))     (holdsObligation         (KappaFn ?Transaction             (and                 (instance ?Transaction ?TransactionType)                 (patient ?Transaction ?Shares))) ?Broker))	FinancialOntology.kif 1981-1990	attribute ScambioFinanziario and MarketOrder attribute Agreement and Broker partyToAgreement ScambioFinanziario and Agreement orderFor ScambioFinanziario, ScambioFinanziario and Security 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 ?P CollegeFreshman)         (occupiesPosition ?H ?P ?ORG))     (exists (?T)         (and             (holdsDuring                 (MeasureFn ?T YearDuration)                 (student ?H ?ORG))             (lessThan ?T 1))))	Mid-level-ontology.kif 18727-18736	attribute Posizione and CollegeFreshman Umano occupa la posizione di Posizione in Organizzazione NumeroReale student Umano and Organizzazione vales durante NumeroReale YearDuration(s NumeroReale è meno di1
(=>     (and         (attribute ?P CollegeJunior)         (occupiesPosition ?H ?P ?ORG))     (exists (?T)         (and             (holdsDuring                 (MeasureFn ?T YearDuration)                 (student ?H ?ORG))             (greaterThanOrEqualTo ?T 2)             (lessThan ?T 3))))	Mid-level-ontology.kif 18742-18752	attribute Posizione and CollegeJunior Umano occupa la posizione di Posizione in Organizzazione NumeroReale student Umano and Organizzazione vales durante NumeroReale YearDuration(s NumeroReale è più grande di o uguale a 2 NumeroReale è meno di3
(=>     (and         (attribute ?P CollegeSenior)         (occupiesPosition ?H ?P ?ORG))     (exists (?T)         (and             (holdsDuring                 (MeasureFn ?T YearDuration)                 (student ?H ?ORG))             (greaterThanOrEqualTo ?T 3)             (lessThan ?T 4))))	Mid-level-ontology.kif 18758-18768	attribute Posizione and CollegeSenior Umano occupa la posizione di Posizione in Organizzazione NumeroReale student Umano and Organizzazione vales durante NumeroReale YearDuration(s NumeroReale è più grande di o uguale a 3 NumeroReale è meno di4
(=>     (and         (attribute ?P CollegeSophomore)         (occupiesPosition ?H ?P ?ORG))     (exists (?T)         (and             (holdsDuring                 (MeasureFn ?T YearDuration)                 (student ?H ?ORG))             (greaterThanOrEqualTo ?T 1)             (lessThan ?T 2))))	Mid-level-ontology.kif 18774-18784	attribute Posizione and CollegeSophomore Umano occupa la posizione di Posizione in Organizzazione NumeroReale student Umano and Organizzazione vales durante NumeroReale YearDuration(s NumeroReale è più grande di o uguale a 1 NumeroReale è meno di2
(=>     (and         (attribute ?P Muslim)         (capability Hajj agent ?P))     (modalAttribute         (exists (?H)             (and                 (instance ?H Hajj)                 (agent ?H ?P))) Obligation))	ArabicCulture.kif 134-143	attribute Oggetto and Muslim Oggetto è capace di fare Hajj nel ruolo agent l'affermazione Entit� Entit� è un' istanza di Hajj Entit� è un agente di Oggetto ha il modello di forza di Obligation
(=>     (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
(=>     (and         (attribute ?PERSON SupremeCourtJudge)         (employs ?ORG ?PERSON))     (instance ?ORG SupremeCourt))	Government.kif 2215-2219	attribute AgenteCognitivo and SupremeCourtJudge AutonomousAgent impiegas AgenteCognitivo AutonomousAgent è un' istanza di SupremeCourt
(=>     (and         (attribute ?PROF Professor)         (occupiesPosition ?PROF Professor ?ORG))     (and         (teacher ?PROF ?ORG)         (instance ?ORG PostSecondarySchool)))	Mid-level-ontology.kif 21023-21029	attribute Umano and Professor Umano occupa la posizione di Professor in OrganizzazioneEducativa teacher Umano and OrganizzazioneEducativa OrganizzazioneEducativa è un' istanza di PostSecondarySchool
(=>     (and         (attribute ?ROOM Oversized)         (immediateInstance ?ROOM ?HOTELUNIT)         (subclass ?HOTELUNIT HotelUnit))     (exists (?NORMAL ?AREA1 ?AREA2 ?U)         (and             (immediateInstance ?NORMAL ?HOTELUNIT)             (instance ?U UnitOfArea)             (measure ?NORMAL                 (MeasureFn ?AREA1 ?U))             (measure ?ROOM                 (MeasureFn ?AREA2 ?U))             (instance ?AREA1 AreaMeasure)             (instance ?AREA2 AreaMeasure)             (greaterThan ?AREA2 ?AREA1))))	Hotel.kif 1186-1201	attribute Oggetto and Oversized %è una istanza immediata %2 Classe è una sottoclasse di HotelUnit Entit�Concreta NumeroReale, NumeroReale and Unit�DiMisura %è una istanza immediata %2 Unit�DiMisura è un' istanza di UnitOfArea lamisura Entit�Concreta è NumeroReale Unit�DiMisura(s lamisura Oggetto è NumeroReale Unit�DiMisura(s NumeroReale è un' istanza di MisuraDiArea NumeroReale è un' istanza di MisuraDiArea NumeroReale è più grande di NumeroReale
(=>     (and         (attribute ?SYLLABLE Stressed)         (instance ?WORD Word)         (part ?SYLLABLE ?WORD))     (not         (exists (?SYLLABLE2)             (and                 (instance ?SYLLABLE2 Syllable)                 (part ?SYLLABLE2 ?WORD)                 (attribute ?SYLLABLE2 Stressed)                 (not                     (equal ?SYLLABLE2 ?SYLLABLE))))))	Mid-level-ontology.kif 19442-19452	attribute Oggetto and Stressed Oggetto è un' istanza di Parola Oggetto è una parte di Oggetto Oggetto2 Oggetto2 è un' istanza di Syllable Oggetto2 è una parte di Oggetto attribute Oggetto2 and Stressed Oggetto2 is uguale a Oggetto
(=>     (and         (attribute ?T Teacher)         (occupiesPosition ?P ?T ?O))     (teacher ?T ?O))	Mid-level-ontology.kif 18905-18909	attribute Umano and Teacher Umano occupa la posizione di Umano in OrganizzazioneEducativa teacher Umano and OrganizzazioneEducativa
(=>     (and         (attribute ?TRANS ?ATTR)         (instance ?ATTR AccountAttribute))     (instance ?TRANS FinancialTransaction))	UXExperimentalTerms.kif 1637-1641	attribute Oggetto and Attributo Attributo è un' istanza di AccountAttribute Oggetto è un' istanza di ScambioFinanziario
(=>     (and         (attribute ?U Uninhabited)         (instance ?U Region))     (not         (exists (?H)             (and                 (instance ?H Human)                 (inhabits ?H ?U)))))	Mid-level-ontology.kif 30092-30100	attribute Oggetto and Uninhabited Oggetto è un' istanza di Regione Organismo Organismo è un' istanza di Umano Organismo abitas in Oggetto
(=>     (and         (attribute ?X ?ATTR)         (instance ?ATTR AmbienceAttribute))     (instance ?X Physical))	Dining.kif 1066-1070	attribute Oggetto and Attributo Attributo è un' istanza di AmbienceAttribute Oggetto è un' istanza di Entit�Concreta
(=>     (and         (attribute ?X ?ATTR)         (instance ?ATTR BedAttribute))     (instance ?X Bed))	Mid-level-ontology.kif 4102-4106	attribute Oggetto and Attributo Attributo è un' istanza di BedAttribute Oggetto è un' istanza di Bed
(=>     (and         (attribute ?X ?ATTR)         (instance ?ATTR SizeAttribute))     (instance ?X Object))	Mid-level-ontology.kif 25321-25325	attribute Oggetto and Attributo Attributo è un' istanza di SizeAttribute Oggetto è un' istanza di Oggetto
(=>     (and         (attribute ?X ?HEMI)         (instance ?HEMI HemisphereFigure))     (exists (?Y)         (and             (instance ?Y Sphere)             (half ?X ?Y))))	Mid-level-ontology.kif 26548-26555	attribute Oggetto and Attributo Attributo è un' istanza di HemisphereFigure Oggetto Oggetto è un' istanza di Sphere half Oggetto and Oggetto
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