(=>     (and         (physicalAmplitude ?T ?L)         (patient ?T ?O))     (exists (?P1 ?P2 ?T1 ?T2)         (and             (during ?T1                 (WhenFn ?T))             (during ?T2                 (WhenFn ?T))             (holdsDuring ?T1                 (located ?O ?P1))             (holdsDuring ?T2                 (located ?O ?P2))             (distance ?P1 ?P2 ?L))))	Cars.kif 737-749	physicalAmplitude Tremor and MisuraDiLunghezza Entit� è un paziente di Tremor Entit�Concreta Entit�Concreta, Tremor1 and Tremor2 Tremor1 has luogodurante il tempo di esistenza di Tremor Tremor2 has luogodurante il tempo di esistenza di Tremor Entit� è localizzato in Entit�Concreta vales durante Tremor1 Entit� è localizzato in Entit�Concreta vales durante Tremor2 la distanza tra Entit�Concreta e Entit�Concreta è MisuraDiLunghezza
(=>     (and         (roomAmenity ?ROOM ?OBJ)         (subclass ?OBJ Object))     (forall (?R)         (=>             (instance ?R ?ROOM)             (exists (?O)                 (and                     (instance ?R ?ROOM)                     (instance ?O ?OBJ)                     (located ?O ?R))))))	Hotel.kif 281-292	roomAmenity HotelUnit and Entit�Concreta Entit�Concreta è una sottoclasse di Oggetto Oggetto Oggetto è un' istanza di HotelUnit Entit�Concreta Oggetto è un' istanza di HotelUnit Entit�Concreta è un' istanza di Entit�Concreta Entit�Concreta è localizzato in Oggetto
(=>     (and         (roomAmenity ?ROOM ?SVC)         (subclass ?SVC Process))     (modalAttribute         (exists (?X ?S ?HOTEL ?PROC)             (and                 (instance ?X ?ROOM)                 (element ?X                     (PropertyFn ?HOTEL))                 (agent ?S ?HOTEL)                 (or                     (instance ?S ?SVC)                     (and                         (instance ?PROC ?SVC)                         (subProcess ?S ?PROC)))                 (located ?S ?X))) Possibility))	Hotel.kif 317-332	roomAmenity HotelUnit and Entit�Concreta Entit�Concreta è una sottoclasse di Processo l'affermazione Entit� Entit�, Entit� and Entit� Entit� è un' istanza di HotelUnit %è un elemento di Possibility Entit� è un agente di Entit� Entit� è un' istanza di Entit�Concreta Entit� è un' istanza di Entit�Concreta Entit� è un sottoprocesso di Entit� Entit� è localizzato in Entit� ha il modello di forza di Possibility
(=>     (and         (totalFacilityTypeInArea ?AREA             (ExtensionFn AirportWithUnpavedRunway) ?COUNT)         (greaterThan ?COUNT 0))     (exists (?AIRPORT ?RUNWAY)         (and             (instance ?AIRPORT Airport)             (instance ?RUNWAY UnpavedRunway)             (part ?RUNWAY ?AIRPORT)             (located ?AIRPORT ?AREA))))	Transportation.kif 1482-1491	totalFacilityTypeInArea AreaGeografica, la classe corrispondente a AirportWithUnpavedRunway and NumeroInteroNonNegativo NumeroInteroNonNegativo è più grande di 0 Oggetto Oggetto Oggetto è un' istanza di Airport Oggetto è un' istanza di UnpavedRunway Oggetto è una parte di Oggetto Oggetto è localizzato in AreaGeografica
(=>     (and         (totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)         (equal ?COUNT 0))     (not         (exists (?ITEM)             (and                 (instance ?ITEM ?TYPE)                 (located ?ITEM ?AREA)))))	Transportation.kif 1237-1245	totalFacilityTypeInArea AreaGeografica, Classe and NumeroInteroNonNegativo NumeroInteroNonNegativo is uguale a 0 Entit�Concreta Entit�Concreta è un' istanza di Classe Entit�Concreta è localizzato in AreaGeografica
(=>     (and         (totalLengthOfHighwaySystem ?AREA             (MeasureFn ?LENGTH ?UNIT))         (instance ?UNIT UnitOfLength)         (greaterThan ?LENGTH 0))     (exists (?HIGHWAY)         (and             (instance ?HIGHWAY Roadway)             (located ?HIGHWAY ?AREA))))	Transportation.kif 493-501	totalLengthOfHighwaySystem AreaGeografica and NumeroReale Unit�DiMisura(s Unit�DiMisura è un' istanza di UnitOfLength NumeroReale è più grande di 0 Entit�Concreta Entit�Concreta è un' istanza di Roadway Entit�Concreta è localizzato in AreaGeografica
(=>     (and         (totalLengthOfRailwaySystem ?AREA             (MeasureFn ?LENGTH Mile))         (greaterThan ?LENGTH 0))     (exists (?RAILWAY)         (and             (instance ?RAILWAY Railway)             (located ?RAILWAY ?AREA))))	Transportation.kif 107-115	totalLengthOfRailwaySystem AreaGeografica and NumeroReale Mile(s NumeroReale è più grande di 0 Entit�Concreta Entit�Concreta è un' istanza di Railway Entit�Concreta è localizzato in AreaGeografica
(=>     (and         (totalLengthOfWaterways ?AREA             (MeasureFn ?LENGTH ?UNIT))         (instance ?UNIT UnitOfLength)         (greaterThan ?LENGTH 0))     (exists (?WATERWAY)         (and             (instance ?WATERWAY Waterway)             (located ?WATERWAY ?AREA))))	Transportation.kif 665-673	totalLengthOfWaterways AreaGeografica and NumeroReale Unit�DiMisura(s Unit�DiMisura è un' istanza di UnitOfLength NumeroReale è più grande di 0 Entit�Concreta Entit�Concreta è un' istanza di Waterway Entit�Concreta è localizzato in AreaGeografica
(=>     (and         (totalPipelineInArea ?AREA             (MeasureFn ?LENGTH ?UNIT))         (instance ?UNIT UnitOfLength)         (greaterThan ?LENGTH 0))     (exists (?PIPE)         (and             (instance ?PIPE Pipeline)             (located ?PIPE ?AREA))))	Transportation.kif 694-702	totalPipelineInArea AreaGeografica and NumeroReale Unit�DiMisura(s Unit�DiMisura è un' istanza di UnitOfLength NumeroReale è più grande di 0 Entit�Concreta Entit�Concreta è un' istanza di Pipeline Entit�Concreta è localizzato in AreaGeografica
(=>     (and         (unitNumber ?UNITSTR ?PLACE)         (floorCode ?FLRCODE ?PLACE))     (exists (?UNIT ?FLOOR)         (and             (instance ?FLOOR BuildingLevel)             (instance ?UNIT Room)             (located ?UNIT ?FLOOR)             (part ?FLOOR ?PLACE)             (names ?UNITSTR ?UNIT)             (names ?FLRCODE ?FLOOR))))	Mid-level-ontology.kif 24631-24642	unitNumber Stringa and PostalPlace floorCode Stringa and PostalPlace Entit�Concreta Oggetto Oggetto è un' istanza di BuildingLevel Entit�Concreta è un' istanza di Stanza Entit�Concreta è localizzato in Oggetto Oggetto è una parte di PostalPlace names Stringa and Entit�Concreta names Stringa and Oggetto
(=>     (and         (unitNumber ?UNITSTR ?PLACE)         (not             (exists (?FLR)                 (floorCode ?FLR ?PLACE))))     (exists (?UNIT)         (and             (instance ?UNIT Room)             (names ?UNITSTR ?UNIT)             (located ?UNIT ?PLACE))))	Mid-level-ontology.kif 24644-24654	unitNumber Stringa and PostalPlace Stringa floorCode Stringa and PostalPlace Entit�Concreta Entit�Concreta è un' istanza di Stanza names Stringa and Entit�Concreta Entit�Concreta è localizzato in PostalPlace
(=>     (and         (vegetationType ?REGION ?TYPE)         (subclass ?TYPE Plant)         (instance ?REGION GeographicArea))     (exists (?PLANT)         (and             (instance ?PLANT ?TYPE)             (located ?PLANT ?REGION))))	Geography.kif 6191-6199	vegetationType AreaGeografica and Pianta Pianta è una sottoclasse di Pianta AreaGeografica è un' istanza di AreaGeografica Entit�Concreta Entit�Concreta è un' istanza di Pianta Entit�Concreta è localizzato in AreaGeografica
(=>     (and         (viewType ?ROOM ?OBJ)         (instance ?ROOM Room)         (instance ?INST ?OBJ)         (orientation ?INST ?ROOM Outside))     (modalAttribute         (exists (?HUMAN ?SEE)             (and                 (instance ?HUMAN Human)                 (located ?HUMAN ?ROOM)                 (instance ?SEE Seeing)                 (patient ?SEE ?INST)                 (agent ?SEE ?HUMAN))) Possibility))	Hotel.kif 954-967	viewType Oggetto and Entit�Concreta Oggetto è un' istanza di Stanza Oggetto è un' istanza di Entit�Concreta Oggetto è Outside a Oggetto l'affermazione Entit� Entit� Entit� è un' istanza di Umano Entit� è localizzato in Oggetto Entit� è un' istanza di Vista Oggetto è un paziente di Entit� Entit� è un agente di Entit� ha il modello di forza di Possibility
(=>     (and         (workLocation ?O ?S)         (member ?P ?O)         (instance ?W Working)         (agent ?W ?P))     (modalAttribute         (located ?W ?S) Likely))	Mid-level-ontology.kif 20534-20542	workLocation Organizzazione and ManufattoStatico AutonomousAgent è un membro di Organizzazione Processo è un' istanza di Working Processo è un agente di AutonomousAgent l'affermazione Processo è localizzato in ManufattoStatico ha il modello di forza di Likely
(=>     (attribute ?AREA MountainousTerrain)     (exists (?MTN)         (and             (instance ?MTN Mountain)             (located ?MTN ?AREA))))	Geography.kif 1808-1813	attribute Oggetto and MountainousTerrain Entit�Concreta Entit�Concreta è un' istanza di Mountain Entit�Concreta è localizzato in Oggetto
(=>     (attribute ?H PepticUlcers)     (exists (?S ?U)         (and             (instance ?S Stomach)             (instance ?U Ulcer)             (part ?S ?H)             (located ?U ?S))))	Medicine.kif 4972-4979	attribute Oggetto and PepticUlcers Oggetto Entit�Concreta Oggetto è un' istanza di Stomach Entit�Concreta è un' istanza di Ulcer Oggetto è una parte di Oggetto Entit�Concreta è localizzato in Oggetto
(=>     (attribute ?H Pulmonologist)     (exists (?P1 ?P2 ?PAT ?L)         (and             (subclass ?PROCESS1 DiagnosticProcess)             (subclass ?PROCESS2 TherapeuticProcess)             (patient ?P1 ?PAT)             (patient ?P2 ?PAT)             (instance ?L Lung)             (part ?L ?PAT)             (located ?P1 Lung)             (located ?P2 Lung))))	Medicine.kif 4481-4492	attribute Oggetto and Pulmonologist Processo Processo, Oggetto and Oggetto Classe è una sottoclasse di ProcessoDiagnostico Classe è una sottoclasse di ProcessoTerapeutico Oggetto è un paziente di Processo Oggetto è un paziente di Processo Oggetto è un' istanza di Lung Oggetto è una parte di Oggetto Processo è localizzato in Lung Processo è localizzato in Lung
(=>     (attribute ?H Pyelonephritis)     (modalAttribute         (exists (?B ?K)             (and                 (instance ?B Bacterium)                 (instance ?K Kidney)                 (part ?K ?H)                 (located ?B ?K))) Likely))	Medicine.kif 5065-5074	attribute Oggetto and Pyelonephritis l'affermazione Entit� Entit� Entit� è un' istanza di Bacterio Entit� è un' istanza di Kidney Entit� è una parte di Oggetto Entit� è localizzato in Entit� ha il modello di forza di Likely
(=>     (attribute ?ORG Embryonic)     (exists (?BODY)         (and             (instance ?BODY ReproductiveBody)             (located ?ORG ?BODY))))	Merge.kif 18218-18223	attribute Oggetto and Embryonic Oggetto Oggetto è un' istanza di CorpoRiproduttivo Oggetto è localizzato in Oggetto
(=>     (attribute ?ROOM OpenLayout)     (and         (instance ?ROOM Room)         (exists (?R1 ?R2 ?H)             (and                 (instance ?R1 Region)                 (instance ?R2 Region)                 (located ?R1 ?ROOM)                 (located ?R2 ?ROOM)                 (not                     (equal ?R1 ?R2))                 (orientation ?R1 ?R2 Adjacent)                 (exists (?P1 ?P2)                     (and                         (instance ?P1 Process)                         (instance ?P2 Process)                         (hasPurpose ?R1 ?P1)                         (hasPurpose ?R2 ?P2)))                 (=>                     (and                         (instance ?H AutonomousAgent)                         (located ?H ?R2))                     (and                         (capability Seeing agent ?H)                         (capability Seeing patient ?R1)))))))	Dining.kif 956-980	attribute Oggetto and OpenLayout Oggetto è un' istanza di Stanza Oggetto Oggetto and Oggetto Oggetto è un' istanza di Regione Oggetto è un' istanza di Regione Oggetto è localizzato in Oggetto Oggetto è localizzato in Oggetto Oggetto is uguale a Oggetto Oggetto è Adjacent a Oggetto Formula Formula Formula è un' istanza di Processo Formula è un' istanza di Processo Oggetto ha scopo Formula Oggetto ha scopo Formula Oggetto è un' istanza di AutonomousAgent Oggetto è localizzato in Oggetto Oggetto è capace di fare Vista nel ruolo agent Oggetto è capace di fare Vista nel ruolo patient
(=>     (attribute ?ROOM TowerRoom)     (exists (?BLDG)         (and             (instance ?BLDG HighRise)             (located ?ROOM ?BLDG))))	Hotel.kif 1101-1106	attribute Oggetto and TowerRoom Oggetto Oggetto è un' istanza di HighRise Oggetto è localizzato in Oggetto
(=>     (attribute ?U ExpeditionaryForce)     (hasPurpose ?U         (exists (?B ?C ?FC)             (and                 (subOrganization ?U                     (GovernmentFn ?C))                 (instance ?B Battle)                 (agent ?B ?U)                 (instance ?FC Nation)                 (located ?B ?FC)                 (not                     (equal ?C ?FC))))))	MilitaryPersons.kif 712-724	attribute Oggetto and ExpeditionaryForce Oggetto ha scopo Entit� Entit� and Entit� subOrganization Oggetto and GovernmentFn Entit� Entit� è un' istanza di Battaglia Entit� è un agente di Oggetto Entit� è un' istanza di Nazione Entit� è localizzato in Entit� Entit� is uguale a Entit�
(=>     (attribute ?X DownAndInRoom)     (exists (?LOC ?INDOOR)         (and             (instance ?INDOOR Indoors)             (instance ?LOC Region)             (orientation ?LOC ?X Adjacent)             (orientation ?LOC ?X Outside)             (located ?LOC ?INDOOR))))	Hotel.kif 1057-1065	attribute Oggetto and DownAndInRoom Oggetto Oggetto Oggetto è un' istanza di Indoors Oggetto è un' istanza di Regione Oggetto è Adjacent a Oggetto Oggetto è Outside a Oggetto Oggetto è localizzato in Oggetto
(=>     (attribute ?X DownAndOutRoom)     (exists (?LOC ?OUTDOOR)         (and             (instance ?OUTDOOR Outdoors)             (instance ?LOC Region)             (orientation ?LOC ?X Adjacent)             (orientation ?LOC ?X Outside)             (located ?LOC ?OUTDOOR))))	Hotel.kif 1072-1080	attribute Oggetto and DownAndOutRoom Oggetto Oggetto Oggetto è un' istanza di Outdoors Oggetto è un' istanza di Regione Oggetto è Adjacent a Oggetto Oggetto è Outside a Oggetto Oggetto è localizzato in Oggetto
(=>     (attribute ?X ExclusiveFemaleLevel)     (forall (?Y)         (=>             (and                 (instance ?Y HotelRoom)                 (located ?Y ?X))             (hasPurpose ?Y                 (exists (?HUMAN)                     (and                         (attribute ?HUMAN Female)                         (stays ?HUMAN ?Y)))))))	Hotel.kif 1243-1254	attribute Oggetto and ExclusiveFemaleLevel Entit�Concreta Entit�Concreta è un' istanza di HotelRoom Entit�Concreta è localizzato in Oggetto Entit�Concreta ha scopo Entit� attribute Entit� and Female stays Entit� and Entit�Concreta
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