(=>     (and         (instance ?ACT UserDirectAction)         (patient ?ACT ?TOUCHSCREEN)         (instance ?TOUCHSCREEN ComputerTouchscreen))     (instance ?ACT ScreenTouchAction))	ComputerInput.kif 1594-1599	Processo è un' istanza di UserDirectAction Entit� è un paziente di Processo Entit� è un' istanza di ComputerTouchscreen Processo è un' istanza di ScreenTouchAction
(=>     (and         (instance ?ACT UserDirectAction)         (patient ?ACT ?TOUCHSURF)         (instance ?TOUCHSURF TouchSensitiveComputerInputDevice))     (instance ?ACT TouchSurfaceAction))	ComputerInput.kif 1545-1550	Processo è un' istanza di UserDirectAction Entit� è un paziente di Processo Entit� è un' istanza di TouchSensitiveComputerInputDevice Processo è un' istanza di TouchSurfaceAction
(=>     (and         (instance ?ALT ShapeChange)         (patient ?ALT ?OBJ))     (exists (?PROPERTY)         (and             (instance ?PROPERTY ShapeAttribute)             (or                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?ALT))                         (attribute ?OBJ ?PROPERTY))                     (holdsDuring                         (EndFn                             (WhenFn ?ALT))                         (not                             (attribute ?OBJ ?PROPERTY))))                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?ALT))                         (not                             (attribute ?OBJ ?PROPERTY)))                     (holdsDuring                         (EndFn                             (WhenFn ?ALT))                         (attribute ?OBJ ?PROPERTY)))))))	Merge.kif 12678-12691	Processo è un' istanza di CambiamentoDiForma Entit� è un paziente di Processo Entit� Entit� è un' istanza di AttributoDiForma attribute Entit� and Entit� vales durante l' inizio di il tempo di esistenza di Processo attribute Entit� and Entit� vales durante la fine di il tempo di esistenza di Processo attribute Entit� and Entit� vales durante l' inizio di il tempo di esistenza di Processo attribute Entit� and Entit� vales durante la fine di il tempo di esistenza di Processo
(=>     (and         (instance ?ALT SurfaceChange)         (patient ?ALT ?OBJ))     (exists (?PART ?PROPERTY)         (and             (superficialPart ?PART ?OBJ)             (or                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?ALT))                         (attribute ?PART ?PROPERTY))                     (holdsDuring                         (EndFn                             (WhenFn ?ALT))                         (not                             (attribute ?PART ?PROPERTY))))                 (and                     (holdsDuring                         (BeginFn                             (WhenFn ?ALT))                         (not                             (attribute ?PART ?PROPERTY)))                     (holdsDuring                         (EndFn                             (WhenFn ?ALT))                         (attribute ?PART ?PROPERTY)))))))	Merge.kif 12638-12651	Processo è un' istanza di CambiamentoDiSuperficie Oggetto è un paziente di Processo Oggetto Entit� Oggetto è una parte superficiale di Oggetto attribute Oggetto and Entit� vales durante l' inizio di il tempo di esistenza di Processo attribute Oggetto and Entit� vales durante la fine di il tempo di esistenza di Processo attribute Oggetto and Entit� vales durante l' inizio di il tempo di esistenza di Processo attribute Oggetto and Entit� vales durante la fine di il tempo di esistenza di Processo
(=>     (and         (instance ?APR AirPhotographicReconnaissance)         (agent ?APR ?AGENT)         (patient ?APR ?HOSTILE))     (exists (?PHOTOGRAPHING)         (and             (instance ?PHOTOGRAPHING Photographing)             (subProcess ?PHOTOGRAPHING ?APR)             (agent ?PHOTOGRAPHING ?AGENT)             (patient ?PHOTOGRAPHING ?HOSTILE))))	MilitaryProcesses.kif 753-763	Processo è un' istanza di AirPhotographicReconnaissance Processo è un agente di AutonomousAgent Entit� è un paziente di Processo Processo Processo è un' istanza di Photographing Processo è un sottoprocesso di Processo Processo è un agente di AutonomousAgent Entit� è un paziente di Processo
(=>     (and         (instance ?AR ArmedReconnaissance)         (agent ?AR ?AGENT)         (patient ?AR ?HOSTILE)         (holdsDuring             (WhenFn ?AR)             (enemy ?AGENT ?HOSTILE)))     (confersRight         (exists (?ATTACK)             (and                 (instance ?ATTACK Attack)                 (agent ?ATTACK ?AGENT)                 (patient ?ATTACK ?HOSTILE))) ?AR ?AGENT))	MilitaryProcesses.kif 89-103	Processo è un' istanza di ArmedReconnaissance Processo è un agente di AgenteCognitivo Entit� è un paziente di Processo enemy AgenteCognitivo and Entit� vales durante il tempo di esistenza di Processo Processo permette a AgenteCognitivo di compiere il compito di tipo Entit� Entit� è un' istanza di Attack Entit� è un agente di AgenteCognitivo Entit� è un paziente di Entit�
(=>     (and         (instance ?ARTERY Artery)         (instance ?TRANSFER Transfer)         (patient ?TRANSFER ?BLOOD)         (instrument ?TRANSFER ?ARTERY)         (instance ?BLOOD Blood))     (exists (?HEART)         (and             (instance ?HEART Heart)             (origin ?TRANSFER ?HEART))))	Mid-level-ontology.kif 11107-11117	Oggetto è un' istanza di Artery Processo è un' istanza di Trasferimento Entit� è un paziente di Processo Oggetto è uno strumento per Processo Entit� è un' istanza di Sangue Oggetto Oggetto è un' istanza di Heart Processo si originas in Oggetto
(=>     (and         (instance ?ARTERY PulmonaryArtery)         (instance ?TRANSFER Transfer)         (patient ?TRANSFER ?BLOOD)         (instrument ?TRANSFER ?ARTERY)         (instance ?BLOOD Blood))     (exists (?LUNG)         (and             (instance ?LUNG Lung)             (destination ?TRANSFER ?LUNG))))	Mid-level-ontology.kif 11140-11150	Oggetto è un' istanza di PulmonaryArtery Processo è un' istanza di Trasferimento Entit� è un paziente di Processo Oggetto è uno strumento per Processo Entit� è un' istanza di Sangue Entit� Entit� è un' istanza di Lung Processo fines in Entit�
(=>     (and         (instance ?AS AutomobileShock)         (instance ?C Compressing)         (instance ?H HoleRegion)         (attribute ?F Fluid)         (equal ?AS             (HoleHostFn ?H))         (contains ?AS ?F)         (patient ?C ?AS))     (exists (?T)         (and             (instance ?T Transfer)             (objectTransferred ?T ?F)             (path ?T ?H)             (causes ?C ?T))))	Cars.kif 871-885	OggettoIntegro è un' istanza di AutomobileShock Processo è un' istanza di Compressing apertura è un' istanza di apertura attribute Oggetto and Fluid OggettoIntegro is uguale a HoleHostFn apertura contains OggettoIntegro and Oggetto OggettoIntegro è un paziente di Processo Trasferimento Trasferimento è un' istanza di Trasferimento objectTransferred Trasferimento and Oggetto apertura è cammino mentre Trasferimento si verifica Processo causas Trasferimento
(=>     (and         (instance ?ASO AntiSurfaceOperation)         (patient ?ASO ?TARGET)         (holdsDuring             (WhenFn ?ASO)             (located ?TARGET ?LOCATION)))     (instance ?LOCATION WaterArea))	MilitaryProcesses.kif 665-671	Processo è un' istanza di AntiSurfaceOperation Entit� è un paziente di Processo Entit� è localizzato in Entit� vales durante il tempo di esistenza di Processo Entit� è un' istanza di SuperficieAcquatica
(=>     (and         (instance ?ATC AddToCart)         (instance ?OBJ Object)         (patient ?ATC ?OBJ)         (agent ?ATC ?USER))     (exists (?COLL ?SITE ?AFTER ?INTERVAL)         (and             (instance ?COLL Collection)             (instance ?SITE WebSite)             (instance ?INTERVAL TimeInterval)             (webcart ?USER ?COLL ?SITE)             (equal                 (BeginFn ?INTERVAL)                 (EndFn ?ATC))             (holdsDuring ?AFTER                 (member ?OBJ ?COLL)))))	UXExperimentalTerms.kif 1326-1342	IntervalloTemporale è un' istanza di AddToCart Entit� è un' istanza di Oggetto Entit� è un paziente di IntervalloTemporale IntervalloTemporale è un agente di AutonomousAgent InsiemeConcreto WebSite, PosizioneTemporale and IntervalloTemporale InsiemeConcreto è un' istanza di InsiemeConcreto WebSite è un' istanza di WebSite IntervalloTemporale è un' istanza di IntervalloTemporale webcart AutonomousAgent, InsiemeConcreto and WebSite l' inizio di IntervalloTemporale is uguale a la fine di IntervalloTemporale Entit� è un membro di InsiemeConcreto vales durante PosizioneTemporale
(=>     (and         (instance ?ATC AddToCart)         (instance ?USER AutonomousAgent)         (instance ?OBJ Object)         (agent ?ATC ?USER)         (patient ?ATC ?OBJ))     (desires ?USER         (exists (?BUYING)             (and                 (instance ?BUYING Buying)                 (patient ?BUYING ?OBJ)                 (agent ?BUYING ?USER)))))	UXExperimentalTerms.kif 1312-1324	Processo è un' istanza di AddToCart AgenteCognitivo è un' istanza di AutonomousAgent Entit� è un' istanza di Oggetto Processo è un agente di AgenteCognitivo Entit� è un paziente di Processo AgenteCognitivo desideras Entit� Entit� è un' istanza di Acquistare Entit� è un paziente di Entit� Entit� è un agente di AgenteCognitivo
(=>     (and         (instance ?ATTACH Attaching)         (patient ?ATTACH ?OBJ1)         (patient ?ATTACH ?OBJ2))     (and         (holdsDuring             (BeginFn                 (WhenFn ?ATTACH))             (not                 (connected ?OBJ1 ?OBJ2)))         (holdsDuring             (EndFn                 (WhenFn ?ATTACH))             (connected ?OBJ1 ?OBJ2))))	Merge.kif 12382-12389	Processo è un' istanza di Attaccare Entit� è un paziente di Processo Entit� è un paziente di Processo Entit� è connesso a Entit� vales durante l' inizio di il tempo di esistenza di Processo Entit� è connesso a Entit� vales durante la fine di il tempo di esistenza di Processo
(=>     (and         (instance ?ATTACK Attack)         (agent ?ATTACK ?AGENT)         (patient ?ATTACK ?OBJ))     (hasPurposeForAgent ?ATTACK         (exists (?DAMAGE)             (and                 (instance ?DAMAGE Damaging)                 (patient ?DAMAGE ?OBJ))) ?AGENT))	Merge.kif 13431-13440	Processo è un' istanza di Attack Processo è un agente di AutonomousAgent Entit� è un paziente di Processo Processo ha &n scopo Entit� Entit� è un' istanza di Danneggiare Entit� è un paziente di Entit� per AutonomousAgent
(=>     (and         (instance ?ATTACK BiochemicalAttack)         (patient ?ATTACK ?OBJ))     (instance ?OBJ Organism))	WMD.kif 64-68	Processo è un' istanza di BiochemicalAttack Entit� è un paziente di Processo Entit� è un' istanza di Organismo
(=>     (and         (instance ?AUCTIONING Auctioning)         (instance ?BIDDER1 AutonomousAgent)         (instance ?BIDDER2 AutonomousAgent)         (instance ?ITEM Object)         (instance ?U UnitOfCurrency)         (patient ?AUCTIONING ?ITEM)         (bidPrice ?ITEM             (MeasureFn ?OFFER1 ?U) ?BIDDER1)         (bidPrice ?ITEM             (MeasureFn ?OFFER2 ?U) ?BIDDER2)         (greaterThan ?OFFER1 ?OFFER2))     (destination ?AUCTIONING ?BIDDER1))	UXExperimentalTerms.kif 354-365	Processo è un' istanza di Auctioning AutonomousAgent è un' istanza di AutonomousAgent AutonomousAgent è un' istanza di AutonomousAgent Oggetto è un' istanza di Oggetto Unit�DiMisura è un' istanza di UnitOfCurrency Oggetto è un paziente di Processo bidPrice Oggetto, NumeroReale Unit�DiMisura(s and AutonomousAgent bidPrice Oggetto, NumeroReale Unit�DiMisura(s and AutonomousAgent NumeroReale è più grande di NumeroReale Processo fines in AutonomousAgent
(=>     (and         (instance ?AUCTIONING Auctioning)         (instance ?ITEM Object)         (patient ?AUCTIONING ?ITEM))     (exists (?BIDDER ?OFFER)         (and             (instance ?BIDDER AutonomousAgent)             (instance ?OFFER CurrencyMeasure)             (bidPrice ?ITEM ?OFFER ?BIDDER))))	UXExperimentalTerms.kif 343-352	Processo è un' istanza di Auctioning Oggetto è un' istanza di Oggetto Oggetto è un paziente di Processo AutonomousAgent MisuraMonetaria AutonomousAgent è un' istanza di AutonomousAgent MisuraMonetaria è un' istanza di MisuraMonetaria bidPrice Oggetto, MisuraMonetaria and AutonomousAgent
(=>     (and         (instance ?B Baptizing)         (patient ?B ?H))     (instance ?H Human))	Mid-level-ontology.kif 7996-8000	Processo è un' istanza di Baptizing Entit� è un paziente di Processo Entit� è un' istanza di Umano
(=>     (and         (instance ?B Bathing)         (patient ?B ?A))     (instance ?A Animal))	Mid-level-ontology.kif 8861-8865	Processo è un' istanza di Bathing Entit� è un paziente di Processo Entit� è un' istanza di Animale
(=>     (and         (instance ?B Biopsy)         (patient ?B ?BS))     (instance ?BS BodySubstance))	Mid-level-ontology.kif 24088-24092	Processo è un' istanza di Biopsy ProcessoS è un paziente di Processo ProcessoS è un' istanza di SostanzaCorporea
(=>     (and         (instance ?B Blade)         (instance ?CUT Cutting)         (instance ?OBJ Object)         (instrument ?CUT ?B)         (patient ?CUT ?OBJ))     (meetsSpatially ?B ?OBJ))	Mid-level-ontology.kif 22017-22024	Oggetto è un' istanza di Blade Processo è un' istanza di Tagliare Oggetto è un' istanza di Oggetto Oggetto è uno strumento per Processo Oggetto è un paziente di Processo Oggetto incontras Oggetto
(=>     (and         (instance ?B Boarding)         (agent ?B ?A)         (patient ?B ?V))     (and         (holdsDuring             (BeginFn                 (WhenFn ?B))             (not                 (onboard ?A ?V)))         (holdsDuring             (EndFn                 (WhenFn ?B))             (onboard ?A ?V))))	Mid-level-ontology.kif 17385-17396	Processo è un' istanza di Boarding Processo è un agente di AutonomousAgent Entit� è un paziente di Processo onboard AutonomousAgent and Entit� vales durante l' inizio di il tempo di esistenza di Processo onboard AutonomousAgent and Entit� vales durante la fine di il tempo di esistenza di Processo
(=>     (and         (instance ?B Boarding)         (patient ?B ?V))     (instance ?V Vehicle))	Mid-level-ontology.kif 17379-17383	Processo è un' istanza di Boarding Entit� è un paziente di Processo Entit� è un' istanza di Vehicle
(=>     (and         (instance ?B Braking)         (patient ?B ?O))     (and         (holdsDuring             (ImmediatePastFn                 (WhenFn ?B))             (equal                 (MeasureFn ?A1 MilesPerHour)                 (AccelerationFn ?FQ ?T ?O ?D)))         (holdsDuring             (ImmediateFutureFn                 (WhenFn ?B))             (equal                 (MeasureFn ?A2 MilesPerHour)                 (AccelerationFn ?FQ ?T ?O ?D)))         (greaterThan ?A1 ?A2)))	Cars.kif 1252-1267	Processo è un' istanza di Braking Entit� è un paziente di Processo NumeroReale MilesPerHour(s is uguale a AccelerationFn Entit�, Entit�, Entit� and Entit� vales durante immediatamente prima di il tempo di esistenza di Processo NumeroReale MilesPerHour(s is uguale a AccelerationFn Entit�, Entit�, Entit� and Entit� vales durante immediatamente dopo il tempo di esistenza di Processo NumeroReale è più grande di NumeroReale
(=>     (and         (instance ?B Buying)         (patient ?B ?ITEM)         (origin ?B ?AGENT)         (or             (publishedPrice ?ENT ?PRICE ?AGENT ?PS)             (unitPrice ?ENT ?QUANT ?AGENT ?PS))         (subclass ?ENT Physical)         (immediateInstance ?ITEM ?ENT)         (validPaymentType ?PS ?PAY))     (modalAttribute         (exists (?PAYMENT)             (and                 (instance ?PAYMENT ?PAY)                 (subProcess ?PAYMENT ?B))) Likely))	Catalog.kif 337-352	Processo è un' istanza di Acquistare Entit� è un paziente di Processo Processo si originas in AgenteCognitivo publishedPrice Entit�, MisuraMonetaria, AgenteCognitivo and PricingScheme unitPrice Entit�, FunzioneDiQuantit�, AgenteCognitivo and PricingScheme Entit� è una sottoclasse di Entit�Concreta %è una istanza immediata %2 validPaymentType PricingScheme and Payment l'affermazione PaymentMENT PaymentMENT è un' istanza di Payment PaymentMENT è un sottoprocesso di Processo ha il modello di forza di Likely
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