(=>     (attribute ?X ExecutiveLevel)     (forall (?Y)         (=>             (and                 (instance ?Y HotelRoom)                 (located ?Y ?X))             (hasPurpose ?Y                 (exists (?HUMAN)                     (and                         (attribute ?HUMAN BusinessExecutive)                         (instance ?HUMAN Human)                         (stays ?HUMAN ?Y)))))))	Hotel.kif 1224-1236	attribute Oggetto and ExecutiveLevel Entit�Concreta Entit�Concreta è un' istanza di HotelRoom Entit�Concreta è localizzato in Oggetto Entit�Concreta ha scopo Entit� attribute Entit� and BusinessExecutive Entit� è un' istanza di Umano stays Entit� and Entit�Concreta
(=>     (attribute ?X Suite)     (exists (?AREA)         (and             (instance ?AREA SittingArea)             (located ?AREA ?X))))	Hotel.kif 1016-1021	attribute Oggetto and Suite Entit�Concreta Entit�Concreta è un' istanza di SittingArea Entit�Concreta è localizzato in Oggetto
(=>     (capacityByArrangement ?AREA ?PROP ?INT)     (=>         (represents ?AREA ?PROP)         (modalAttribute             (exists (?GRP ?PPL)                 (and                     (instance ?GRP GroupOfPeople)                     (memberCount ?GRP ?PPL)                     (lessThanOrEqualTo ?PPL ?INT)                     (located ?GRP ?AREA))) Possibility)))	Hotel.kif 790-800	capacityByArrangement Regione, Proposizione and NumeroIntero Regione esprime Proposizione l'affermazione Entit� Entit� Entit� è un' istanza di GroupOfPeople memberCount Entit� and Entit� Entit� è minore o uguale a NumeroIntero Entit� è localizzato in Regione ha il modello di forza di Possibility
(=>     (colocatedAgent ?ORG ?ATTR)     (exists (?ORG2 ?LOC)         (and             (instance ?ORG2 AutonomousAgent)             (attribute ?ORG2 ?ATTR)             (located ?ORG ?LOC)             (located ?ORG2 ?LOC))))	Hotel.kif 766-773	colocatedAgent AutonomousAgent and AttributoRelazionale AutonomousAgent2 Oggetto AutonomousAgent2 è un' istanza di AutonomousAgent attribute AutonomousAgent2 and AttributoRelazionale AutonomousAgent è localizzato in Oggetto AutonomousAgent2 è localizzato in Oggetto
(=>     (communicationSatelliteForArea ?AREA ?SATELLITETYPE ?INTEGER)     (equal ?INTEGER         (CardinalityFn             (KappaFn ?SATELLITE                 (and                     (instance ?SATELLITE ?SATELLITETYPE)                     (instance ?SYSTEM CommunicationSystem)                     (located ?SYSTEM ?AREA)                     (engineeringSubcomponent ?SATELLITE ?SYSTEM))))))	Communications.kif 142-151	communicationSatelliteForArea AreaGeopolitica, Satellite and NumeroIntero NumeroIntero is uguale a il numero di istanzia in la classe descritta da Stringa
(=>     (elevation ?OBJECT ?HEIGHT)     (exists (?PLACE)         (and             (instance ?PLACE GeographicArea)             (located ?OBJECT ?PLACE))))	Geography.kif 1901-1906	elevation Oggetto and MisuraDiLunghezza Oggetto Oggetto è un' istanza di AreaGeografica Oggetto è localizzato in Oggetto
(=>     (holdsDuring ?T         (attribute ?H Bedridden))     (holdsDuring ?T         (modalAttribute             (exists (?B)                 (and                     (instance ?B Bed)                     (located ?H ?B))) Likely)))	Mid-level-ontology.kif 11040-11049	attribute Entit� and Bedridden vales durante PosizioneTemporale l'affermazione Entit� Entit� è un' istanza di Bed Entit� è localizzato in Entit� ha il modello di forza di Likely vales durante PosizioneTemporale
(=>     (holdsDuring ?T         (attribute ?H BurnInjury))     (exists (?C)         (and             (instance ?C Combustion)             (located ?C ?H)             (meetsTemporally                 (WhenFn ?C) ?T))))	Medicine.kif 6036-6043	attribute Oggetto and BurnInjury vales durante IntervalloTemporale Entit�Concreta Entit�Concreta è un' istanza di Combustione Entit�Concreta è localizzato in Oggetto il tempo di esistenza di Entit�Concreta incontras IntervalloTemporale
(=>     (holdsDuring ?T         (attribute ?X FlightSteward))     (holdsDuring ?T         (exists (?P)             (and                 (instance ?P Airplane)                 (located ?X ?P)))))	Mid-level-ontology.kif 30724-30731	attribute Entit� and FlightSteward vales durante PosizioneTemporale Entit� Entit� è un' istanza di Airplane Entit� è localizzato in Entit� vales durante PosizioneTemporale
(=>     (holdsDuring ?T1         (inhabits ?ORGANISM ?OBJ))     (exists (?TIME)         (and             (instance ?TIME TimeInterval)             (temporalPart ?TIME ?T1)             (holdsDuring ?TIME                 (located ?ORGANISM ?OBJ)))))	Merge.kif 14398-14404	Entit� abitas in Entit� vales durante PosizioneTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale PosizioneTemporale è una parte di PosizioneTemporale Entit� è localizzato in Entit� vales durante PosizioneTemporale
(=>     (instance ?A Alveolus)     (exists (?L)         (and             (instance ?L Lung)             (located ?A ?L))))	Mid-level-ontology.kif 11095-11100	Entit�Concreta è un' istanza di Alveolus Oggetto Oggetto è un' istanza di Lung Entit�Concreta è localizzato in Oggetto
(=>     (instance ?ANCHOR OffshoreAnchorage)     (not         (exists (?HARBOR)             (and                 (instance ?HARBOR Harbor)                 (located ?ANCHOR ?HARBOR)))))	Transportation.kif 930-936	Entit�Concreta è un' istanza di OffshoreAnchorage Oggetto Oggetto è un' istanza di Harbor Entit�Concreta è localizzato in Oggetto
(=>     (instance ?AREA SittingArea)     (exists (?SEAT)         (and             (instance ?SEAT Seat)             (located ?SEAT ?AREA))))	Mid-level-ontology.kif 15533-15538	Oggetto è un' istanza di SittingArea Entit�Concreta Entit�Concreta è un' istanza di Seat Entit�Concreta è localizzato in Oggetto
(=>     (instance ?ARTIFACT StationaryArtifact)     (exists (?PLACE)         (and             (holdsDuring                 (WhenFn ?ARTIFACT)                 (located ?ARTIFACT ?PLACE))             (not                 (exists (?P2)                     (and                         (holdsDuring                             (WhenFn ?ARTIFACT)                             (located ?ARTIFACT ?P2))                         (not                             (equal ?PLACE ?P2))))))))	Merge.kif 15749-15759	Entit�Concreta è un' istanza di ManufattoStatico Entit� Entit�Concreta è localizzato in Entit� vales durante il tempo di esistenza di Entit�Concreta Entit� Entit�Concreta è localizzato in Entit� vales durante il tempo di esistenza di Entit�Concreta Entit� is uguale a Entit�
(=>     (instance ?B Bathroom)     (exists (?W)         (and             (instance ?W WashBasin)             (located ?W ?B))))	Mid-level-ontology.kif 15496-15501	Oggetto è un' istanza di Bathroom Entit�Concreta Entit�Concreta è un' istanza di WashBasin Entit�Concreta è localizzato in Oggetto
(=>     (instance ?B BowlingBall)     (exists (?HOLES)         (and             (instance ?HOLES Collection)             (memberType ?HOLES HoleRegion)             (memberCount ?HOLES 3)             (located ?HOLES ?B)             (hasPurpose ?HOLES                 (exists (?FINGER ?HOLE)                     (and                         (member ?HOLE ?HOLES)                         (instance ?FINGER Finger)                         (partiallyFills ?FINGER ?HOLE)))))))	Sports.kif 1126-1139	Oggetto è un' istanza di BowlingBall InsiemeConcreto InsiemeConcreto è un' istanza di InsiemeConcreto memberType InsiemeConcreto and apertura memberCount InsiemeConcreto and 3 InsiemeConcreto è localizzato in Oggetto InsiemeConcreto ha scopo Entit� Entit� Entit� è un membro di InsiemeConcreto Entit� è un' istanza di Finger Entit� riempie parzialmentes Entit�
(=>     (instance ?B FarmBuilding)     (exists (?F)         (and             (instance ?F Farm)             (located ?B ?F))))	Mid-level-ontology.kif 7095-7100	Entit�Concreta è un' istanza di FarmBuilding Oggetto Oggetto è un' istanza di Farm Entit�Concreta è localizzato in Oggetto
(=>     (instance ?BALCONY Balcony)     (exists (?WALL ?LANDAREA)         (and             (meetsSpatially ?WALL ?BALCONY)             (instance ?LANDAREA LandArea)             (located ?WALL ?LANDAREA)             (orientation ?BALCONY ?LANDAREA Above))))	Mid-level-ontology.kif 15384-15391	Oggetto è un' istanza di Balcony Oggetto Oggetto Oggetto incontras Oggetto Oggetto è un' istanza di SuperficieTerrestre Oggetto è localizzato in Oggetto Oggetto è Above a Oggetto
(=>     (instance ?BARN Barn)     (exists (?FARM)         (and             (instance ?FARM Farm)             (located ?BARN ?FARM))))	Mid-level-ontology.kif 15740-15745	Entit�Concreta è un' istanza di Barn Oggetto Oggetto è un' istanza di Farm Entit�Concreta è localizzato in Oggetto
(=>     (instance ?BC BloodCell)     (holdsDuring         (BeginFn             (WhenFn ?BC))         (exists (?BM)             (and                 (instance ?BM BoneMarrow)                 (located ?BC ?BM)))))	Medicine.kif 1211-1219	Entit�Concreta è un' istanza di BloodCell Entit� Entit� è un' istanza di BoneMarrow Entit�Concreta è localizzato in Entit� vales durante l' inizio di il tempo di esistenza di Entit�Concreta
(=>     (instance ?BED Bed)     (hasPurpose ?BED         (exists (?PERSON)             (and                 (attribute ?PERSON Asleep)                 (located ?PERSON ?BED)))))	Mid-level-ontology.kif 3772-3777	Entit�Concreta è un' istanza di Bed Entit�Concreta ha scopo Entit� attribute Entit� and Addormentato Entit� è localizzato in Entit�Concreta
(=>     (instance ?BF BowlingFacility)     (exists (?BL)         (and             (instance ?BL Collection)             (memberType ?BL BowlingLane)             (located ?BL ?BF))))	Sports.kif 1163-1169	Oggetto è un' istanza di BowlingFacility InsiemeConcreto InsiemeConcreto è un' istanza di InsiemeConcreto memberType InsiemeConcreto and BowlingLane InsiemeConcreto è localizzato in Oggetto
(=>     (instance ?BLANKET Blanket)     (hasPurpose ?BLANKET         (exists (?HEAT ?PERSON ?BED)             (and                 (instance ?HEAT Heating)                 (patient ?HEAT ?PERSON)                 (instance ?PERSON Human)                 (located ?PERSON ?BED)                 (instance ?BED Bed)))))	Mid-level-ontology.kif 5434-5443	Entit�Concreta è un' istanza di Blanket Entit�Concreta ha scopo Entit� Entit� and Entit� Entit� è un' istanza di Riscaldamento Entit� è un paziente di Entit� Entit� è un' istanza di Umano Entit� è localizzato in Entit� Entit� è un' istanza di Bed
(=>     (instance ?BLOW WindFlow)     (located ?BLOW EarthsAtmosphere))	Weather.kif 90-92	Entit�Concreta è un' istanza di WindFlow Entit�Concreta è localizzato in EarthsAtmosphere
(=>     (instance ?BUILDING Building)     (exists (?HUMAN)         (and             (instance ?HUMAN Human)             (or                 (inhabits ?HUMAN ?BUILDING)                 (exists (?ACT)                     (and                         (agent ?ACT ?HUMAN)                         (located ?ACT ?BUILDING)))))))	Merge.kif 15765-15775	Oggetto è un' istanza di Costruzione Organismo Organismo è un' istanza di Umano Organismo abitas in Oggetto Processo Processo è un agente di Organismo Processo è localizzato in 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