(=>     (instance ?E Electrolyte)     (hasPurpose ?E         (exists (?ET)             (and                 (instance ?ET ElectricTransmission)                 (patient ?ET ?E)                 (holdsDuring ?ET                     (attribute ?E Liquid))))))	Cars.kif 2508-2516	Entit�Concreta è un' istanza di Electrolyte Entit�Concreta ha scopo Entit�ConcretaT Entit�ConcretaT è un' istanza di ElectricTransmission Entit�Concreta è un paziente di Entit�ConcretaT attribute Entit�Concreta and Liquid vales durante Entit�ConcretaT
(=>     (instance ?H HydraulicFluid)     (hasPurpose ?H         (exists (?P)             (and                 (instance ?P Process)                 (instrument ?P ?H)                 (holdsDuring                     (WhenFn ?P)                     (attribute ?H Liquid))))))	Cars.kif 1592-1601	Entit�Concreta è un' istanza di HydraulicFluid Entit�Concreta ha scopo Entit� Entit� è un' istanza di Processo Entit�Concreta è uno strumento per Entit� attribute Entit�Concreta and Liquid vales durante il tempo di esistenza di Entit�
(=>     (instance ?H Hydrometer)     (hasPurpose ?H         (exists (?M ?S)             (and                 (instance ?M Measuring)                 (instance ?S Substance)                 (attribute ?S Liquid)                 (patient ?M ?S)                 (instrument ?M ?H)))))	Cars.kif 3057-3066	Entit�Concreta è un' istanza di Hydrometer Entit�Concreta ha scopo Entit� Entit� Entit� è un' istanza di Misurare Entit� è un' istanza di Sostanza attribute Entit� and Liquid Entit� è un paziente di Entit� Entit�Concreta è uno strumento per Entit�
(=>     (instance ?INJECT Injecting)     (exists (?SUBSTANCE ?ANIMAL)         (and             (patient ?INJECT ?SUBSTANCE)             (instance ?SUBSTANCE BiologicallyActiveSubstance)             (attribute ?SUBSTANCE Liquid)             (destination ?INJECT ?ANIMAL)             (instance ?ANIMAL Animal))))	Merge.kif 11460-11468	Processo è un' istanza di Injecting Oggetto Entit� Oggetto è un paziente di Processo Oggetto è un' istanza di SostanzaBiologicamenteAttiva attribute Oggetto and Liquid Processo fines in Entit� Entit� è un' istanza di Animale
(=>     (instance ?LD LiquidDrop)     (attribute ?LD Liquid))	Geography.kif 7493-7495	Oggetto è un' istanza di LiquidDrop attribute Oggetto and Liquid
(=>     (instance ?MIX LiquidMixture)     (exists (?PART)         (and             (part ?PART ?MIX)             (attribute ?PART Liquid))))	Merge.kif 14738-14743	Oggetto è un' istanza di LiquidMixture Oggetto Oggetto è una parte di Oggetto attribute Oggetto and Liquid
(=>     (instance ?OBJ Solution)     (attribute ?OBJ Liquid))	Merge.kif 17582-17584	Oggetto è un' istanza di Soluzione attribute Oggetto and Liquid
(=>     (instance ?POUR Pouring)     (exists (?LIQUID ?CONTAINER1 ?CONTAINER2)         (and             (origin ?POUR ?CONTAINER1)             (destination ?POUR ?CONTAINER2)             (instance ?CONTAINER1 Container)             (instance ?CONTAINER2 Container)             (not                 (equal ?CONTAINER1 ?CONTAINER2))             (patient ?POUR ?LIQUID)             (attribute ?LIQUID Liquid)             (instance ?LIQUID Substance))))	Mid-level-ontology.kif 17537-17548	Processo è un' istanza di Pouring Oggetto Oggetto and Entit� Processo si originas in Oggetto Processo fines in Entit� Oggetto è un' istanza di Container Entit� è un' istanza di Container Oggetto is uguale a Entit� Oggetto è un paziente di Processo attribute Oggetto and Liquid Oggetto è un' istanza di Sostanza
(=>     (instance ?PROCESS FreezingRain)     (precipitationState ?PROCESS Liquid))	Weather.kif 1083-1085	WeatherProcess è un' istanza di FreezingRain precipitationState WeatherProcess and Liquid
(=>     (instance ?PROCESS Raining)     (precipitationState ?PROCESS Liquid))	Weather.kif 1049-1051	WeatherProcess è un' istanza di Raining precipitationState WeatherProcess and Liquid
(=>     (instance ?S Sauce)     (exists (?X)         (and             (instance ?X Substance)             (part ?X ?S)             (attribute ?X Liquid))))	Food.kif 2068-2074	Oggetto è un' istanza di Sauce Oggetto Oggetto è un' istanza di Sostanza Oggetto è una parte di Oggetto attribute Oggetto and Liquid
(=>     (instance ?S Spraying)     (exists (?G ?L ?M)         (and             (attribute ?G Gas)             (attribute ?L Liquid)             (instance ?M GasMixture)             (part ?M ?G)             (part ?M ?L)             (patient ?S ?G)             (patient ?S ?L)             (result ?S ?M))))	Cars.kif 1092-1103	Processo è un' istanza di Spraying Oggetto Oggetto and Oggetto attribute Oggetto and Gas attribute Oggetto and Liquid Oggetto è un' istanza di GasMixture Oggetto è una parte di Oggetto Oggetto è una parte di Oggetto Oggetto è un paziente di Processo Oggetto è un paziente di Processo Oggetto è un risultato di Processo
(=>     (instance ?S Strainer)     (hasPurpose ?S         (exists (?MIX ?SUB ?LIQUID ?REMOVE)             (and                 (instance ?MIX Mixture)                 (instance ?SUB Substance)                 (instance ?LIQUID Substance)                 (part ?SUB ?MIX)                 (attribute ?SUB Solid)                 (instance ?REMOVE Removing)                 (part ?LIQUID ?MIX)                 (attribute ?LIQUID Liquid)                 (patient ?REMOVE ?SUB)                 (result ?REMOVE ?LIQUID)                 (instrument ?REMOVE ?S)))))	Mid-level-ontology.kif 4549-4564	Entit�Concreta è un' istanza di Strainer Entit�Concreta ha scopo Entit� Entit�ConcretaUB, Entit� and Entit� Entit� è un' istanza di Mistura Entit�ConcretaUB è un' istanza di Sostanza Entit� è un' istanza di Sostanza Entit�ConcretaUB è una parte di Entit� attribute Entit�ConcretaUB and Solid Entit� è un' istanza di Spostamento Entit� è una parte di Entit� attribute Entit� and Liquid Entit�ConcretaUB è un paziente di Entit� Entit� è un risultato di Entit� Entit�Concreta è uno strumento per Entit�
(=>     (instance ?SHIP LiquefiedGasTankerShip)     (cargoType ?SHIP         (ExtensionFn Liquid)))	Transportation.kif 2389-2391	MezzoDiTrasporto è un' istanza di LiquefiedGasTankerShip cargoType MezzoDiTrasporto and la classe corrispondente a Liquid
(=>     (instance ?SUBSTANCE LiquidBodySubstance)     (attribute ?SUBSTANCE Liquid))	Mid-level-ontology.kif 10852-10854	Oggetto è un' istanza di LiquidBodySubstance attribute Oggetto and Liquid
(=>     (instance ?T TankCar)     (exists (?TRANS)         (capability             (KappaFn ?TRANS                 (exists (?L ?T)                     (and                         (instance ?L Liquid)                         (instance ?TRANS Transportation)                         (patient ?TRANS ?L)))) instrument ?T)))	Transportation.kif 2236-2246	Oggetto è un' istanza di TankCar OggettoRANS Oggetto è capace di fare la classe descritta da OggettoRANS nel ruolo instrument
(=>     (instance ?WET Wetting)     (exists (?OBJ)         (and             (attribute ?OBJ Liquid)             (patient ?WET ?OBJ))))	Merge.kif 12788-12793	Processo è un' istanza di Bagnare Oggetto attribute Oggetto and Liquid Oggetto è un paziente di Processo
(=>     (instance ?X CocoaLiquor)     (exists (?H ?B)         (and             (instance ?H Heating)             (patient ?H ?B)             (instance ?B CocoaBean)             (attribute ?B DryRoastAttribute)             (attribute ?B HulledAttribute)             (attribute ?B FermentedAttribute)             (result ?H ?X)             (holdsDuring ?H                 (attribute ?X Liquid)))))	Food.kif 2449-2461	Entit� è un' istanza di CocoaLiquor Processo Oggetto Processo è un' istanza di Riscaldamento Oggetto è un paziente di Processo Oggetto è un' istanza di CocoaBean attribute Oggetto and DryRoastAttribute attribute Oggetto and HulledAttribute attribute Oggetto and FermentedAttribute Entit� è un risultato di Processo attribute Entit� and Liquid vales durante Processo
(=>     (instance ?X Emulsion)     (exists (?L1 ?L2)         (and             (instance ?L1 Substance)             (instance ?L2 Substance)             (attribute ?L1 Liquid)             (attribute ?L2 Liquid)             (not                 (equal ?L1 ?L2)))))	Mid-level-ontology.kif 21574-21583	Entit� è un' istanza di Emulsion Oggetto Oggetto Oggetto è un' istanza di Sostanza Oggetto è un' istanza di Sostanza attribute Oggetto and Liquid attribute Oggetto and Liquid Oggetto is uguale a Oggetto
(=>     (instance ?X Urine)     (attribute ?X Liquid))	Mid-level-ontology.kif 2099-2101	Oggetto è un' istanza di Urine attribute Oggetto and Liquid
(=>     (orientation ?O1 ?O2 Downstream)     (exists (?T ?L ?P)         (and             (instance ?T Transfer)             (attribute ?L Liquid)             (path ?T ?P)             (origin ?T ?O2)             (beforeOnPath ?O2 ?O1 ?P ?T)             (destination ?T ?O1))))	Mid-level-ontology.kif 29789-29798	Oggetto è Downstream a Oggetto Trasferimento Oggetto and Oggetto Trasferimento è un' istanza di Trasferimento attribute Oggetto and Liquid Oggetto è cammino mentre Trasferimento si verifica Trasferimento si originas in Oggetto beforeOnPath Oggetto, Oggetto, Oggetto and Trasferimento Trasferimento fines in Oggetto
(=>     (orientation ?O1 ?O2 Downwind)     (exists (?T ?L ?P)         (and             (instance ?T Transfer)             (attribute ?L Liquid)             (path ?T ?P)             (origin ?T ?O2)             (beforeOnPath ?O2 ?O1 ?P ?T)             (destination ?T ?O1))))	Mid-level-ontology.kif 29811-29820	Oggetto è Downwind a Oggetto Trasferimento Oggetto and Oggetto Trasferimento è un' istanza di Trasferimento attribute Oggetto and Liquid Oggetto è cammino mentre Trasferimento si verifica Trasferimento si originas in Oggetto beforeOnPath Oggetto, Oggetto, Oggetto and Trasferimento Trasferimento fines in Oggetto
(=>     (orientation ?O1 ?O2 Upstream)     (exists (?T ?L ?P)         (and             (instance ?T Transfer)             (attribute ?L Liquid)             (path ?T ?P)             (origin ?T ?O1)             (beforeOnPath ?O1 ?O2 ?P ?T)             (destination ?T ?O2))))	Mid-level-ontology.kif 29778-29787	Oggetto è Upstream a Oggetto Trasferimento Oggetto and Oggetto Trasferimento è un' istanza di Trasferimento attribute Oggetto and Liquid Oggetto è cammino mentre Trasferimento si verifica Trasferimento si originas in Oggetto beforeOnPath Oggetto, Oggetto, Oggetto and Trasferimento Trasferimento fines in Oggetto
(=>     (orientation ?O1 ?O2 Upwind)     (exists (?T ?L ?P)         (and             (instance ?T Transfer)             (attribute ?L Liquid)             (path ?T ?P)             (origin ?T ?O1)             (beforeOnPath ?O1 ?O2 ?P ?T)             (destination ?T ?O2))))	Mid-level-ontology.kif 29800-29809	Oggetto è Upwind a Oggetto Trasferimento Oggetto and Oggetto Trasferimento è un' istanza di Trasferimento attribute Oggetto and Liquid Oggetto è cammino mentre Trasferimento si verifica Trasferimento si originas in Oggetto beforeOnPath Oggetto, Oggetto, Oggetto and Trasferimento Trasferimento fines in Oggetto

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