(=>     (and         (wears ?PERSON ?HAT)         (instance ?HAT Hat))     (exists (?HEAD)         (and             (instance ?HEAD Head)             (part ?HEAD ?PERSON)             (meetsSpatially ?HAT ?HEAD))))	Mid-level-ontology.kif 5149-5157	wears Animale and WearableItem WearableItem è un' istanza di Hat Oggetto Oggetto è un' istanza di Head Oggetto è una parte di Animale WearableItem incontras Oggetto
(=>     (and         (wears ?PERSON ?SHOE)         (instance ?SHOE Shoe))     (exists (?FOOT)         (and             (instance ?FOOT Foot)             (part ?FOOT ?PERSON)             (meetsSpatially ?SHOE ?FOOT))))	Mid-level-ontology.kif 5183-5191	wears Animale and WearableItem WearableItem è un' istanza di Shoe Oggetto Oggetto è un' istanza di Foot Oggetto è una parte di Animale WearableItem incontras Oggetto
(=>     (attribute ?F Flat)     (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)         (and             (side ?S1 ?F)             (side ?S2 ?F)             (meetsSpatially ?S1 ?S2)             (not                 (equal ?S1 ?S2))             (instance ?U UnitOfLength)             (height ?F                 (MeasureFn ?HF ?U))             (height ?S1                 (MeasureFn ?H1 ?U))             (height ?S2                 (MeasureFn ?H2 ?U))             (greaterThan ?H1                 (MultiplicationFn 2.0 ?HF))             (greaterThan ?H2                 (MultiplicationFn 2.0 ?HF)))))	Mid-level-ontology.kif 2782-2795	attribute OggettoIntegro and Flat OggettoIntegro OggettoIntegro, NumeroReale, NumeroReale, NumeroReale and Unit�DiMisura un lato di OggettoIntegro è OggettoIntegro un lato di OggettoIntegro è OggettoIntegro OggettoIntegro incontras OggettoIntegro OggettoIntegro is uguale a OggettoIntegro Unit�DiMisura è un' istanza di UnitOfLength l' altezza di OggettoIntegro è NumeroReale Unit�DiMisura(s l' altezza di OggettoIntegro è NumeroReale Unit�DiMisura(s l' altezza di OggettoIntegro è NumeroReale Unit�DiMisura(s NumeroReale è più grande di 2.0 + NumeroReale NumeroReale è più grande di 2.0 + NumeroReale
(=>     (attribute ?F LongAndThin)     (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)         (and             (side ?S1 ?F)             (side ?S2 ?F)             (meetsSpatially ?S1 ?S2)             (not                 (equal ?S1 ?S2))             (instance ?U UnitOfLength)             (length ?F                 (MeasureFn ?HF ?U))             (length ?S1                 (MeasureFn ?H1 ?U))             (length ?S2                 (MeasureFn ?H2 ?U))             (lessThan ?H1                 (MultiplicationFn 3.0 ?HF))             (lessThan ?H2                 (MultiplicationFn 3.0 ?HF)))))	Mid-level-ontology.kif 2803-2816	attribute OggettoIntegro and LongAndThin OggettoIntegro OggettoIntegro, NumeroReale, NumeroReale, NumeroReale and Unit�DiMisura un lato di OggettoIntegro è OggettoIntegro un lato di OggettoIntegro è OggettoIntegro OggettoIntegro incontras OggettoIntegro OggettoIntegro is uguale a OggettoIntegro Unit�DiMisura è un' istanza di UnitOfLength la lunghezza di OggettoIntegro è NumeroReale Unit�DiMisura(s la lunghezza di OggettoIntegro è NumeroReale Unit�DiMisura(s la lunghezza di OggettoIntegro è NumeroReale Unit�DiMisura(s NumeroReale è meno di3.0 + NumeroReale NumeroReale è meno di3.0 + NumeroReale
(=>     (connected ?OBJ1 ?OBJ2)     (or         (meetsSpatially ?OBJ1 ?OBJ2)         (overlapsSpatially ?OBJ1 ?OBJ2)))	Merge.kif 9531-9535	Oggetto è connesso a Oggetto Oggetto incontras Oggetto Oggetto si sovrappones a Oggetto
(=>     (equal ?OBJ1         (HoleSkinFn ?HOLE))     (=>         (and             (superficialPart ?OBJ3                 (HoleHostFn ?HOLE))             (meetsSpatially ?HOLE ?OBJ3)             (overlapsSpatially ?OBJ2 ?OBJ3))         (overlapsSpatially ?OBJ2 ?OBJ1)))	Merge.kif 10108-10115	Oggetto is uguale a HoleSkinFn apertura Oggetto è una parte superficiale di HoleHostFn apertura apertura incontras Oggetto Oggetto si sovrappones a Oggetto Oggetto si sovrappones a Oggetto
(=>     (equal ?OBJ1         (HoleSkinFn ?HOLE))     (=>         (overlapsSpatially ?OBJ2 ?OBJ1)         (exists (?OBJ3)             (and                 (superficialPart ?OBJ3                     (HoleHostFn ?HOLE))                 (meetsSpatially ?HOLE ?OBJ3)                 (overlapsSpatially ?OBJ2 ?OBJ3)))))	Merge.kif 10098-10106	Oggetto is uguale a HoleSkinFn apertura Oggetto si sovrappones a Oggetto Oggetto Oggetto è una parte superficiale di HoleHostFn apertura apertura incontras Oggetto Oggetto si sovrappones a Oggetto
(=>     (instance         (BorderFn ?AREA1 ?AREA2) GeographicArea)     (meetsSpatially ?AREA1 ?AREA2))	Geography.kif 695-697	BorderFn AreaGeografica and AreaGeografica è un' istanza di AreaGeografica AreaGeografica incontras AreaGeografica
(=>     (instance ?AIR Atmosphere)     (exists (?BODY)         (and             (instance ?BODY AstronomicalBody)             (meetsSpatially ?AIR ?BODY))))	Weather.kif 22-27	Oggetto è un' istanza di Atmosphere Oggetto Oggetto è un' istanza di CorpoCeleste Oggetto incontras Oggetto
(=>     (instance ?AREA Continent)     (meetsSpatially ?AREA WorldOcean))	Geography.kif 4508-4510	Oggetto è un' istanza di Continente Oggetto incontras WorldOcean
(=>     (instance ?AREA LandlockedArea)     (exists (?LAND)         (and             (instance ?LAND LandArea)             (meetsSpatially ?AREA ?LAND))))	Geography.kif 952-957	Oggetto è un' istanza di LandlockedArea Oggetto Oggetto è un' istanza di SuperficieTerrestre Oggetto incontras Oggetto
(=>     (instance ?AREA LandlockedArea)     (not         (exists (?WATER ?SEA)             (and                 (instance ?WATER SaltWaterArea)                 (part ?WATER ?SEA)                 (instance ?SEA Ocean)                 (meetsSpatially ?AREA ?WATER)))))	Geography.kif 942-950	Oggetto è un' istanza di LandlockedArea Oggetto Oggetto Oggetto è un' istanza di SuperficieAcquaticaSalata Oggetto è una parte di Oggetto Oggetto è un' istanza di Ocean Oggetto incontras Oggetto
(=>     (instance ?AREA LandlockedArea)     (not         (exists (?WATER)             (and                 (instance ?WATER Ocean)                 (meetsSpatially ?AREA ?WATER)))))	Geography.kif 934-940	Oggetto è un' istanza di LandlockedArea Oggetto Oggetto è un' istanza di Ocean Oggetto incontras 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 ?BANK ShoreArea)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (meetsSpatially ?BANK ?WATER))))	Merge.kif 14196-14201	Oggetto è un' istanza di ShoreArea Oggetto Oggetto è un' istanza di SuperficieAcquatica Oggetto incontras Oggetto
(=>     (instance ?Delta Delta)     (exists (?Mouth)         (and             (instance ?Mouth RiverMouth)             (meetsSpatially ?Mouth ?Delta))))	Geography.kif 5782-5787	Oggetto è un' istanza di Delta Oggetto Oggetto è un' istanza di RiverMouth Oggetto incontras Oggetto
(=>     (instance ?F Furniture)     (hasPurpose ?F         (exists (?FL)             (and                 (instance ?FL Floor)                 (meetsSpatially ?F ?FL)))))	Mid-level-ontology.kif 3698-3704	Entit�Concreta è un' istanza di Furniture Entit�Concreta ha scopo Entit�ConcretaL Entit�ConcretaL è un' istanza di Floor Entit�Concreta incontras Entit�ConcretaL
(=>     (instance ?F PictureFrame)     (hasPurpose ?F         (exists (?P)             (and                 (meetsSpatially ?F ?P)                 (or                     (instance ?P PaintedPicture)                     (instance ?P Photograph))))))	Mid-level-ontology.kif 1545-1553	Entit�Concreta è un' istanza di PictureFrame Entit�Concreta ha scopo Entit� Entit�Concreta incontras Entit� Entit� è un' istanza di PaintedPicture Entit� è un' istanza di Photograph
(=>     (instance ?FOG Fog)     (exists (?LAND)         (and             (instance ?LAND LandArea)             (meetsSpatially ?FOG ?LAND))))	Mid-level-ontology.kif 8968-8973	Oggetto è un' istanza di Fog Oggetto Oggetto è un' istanza di SuperficieTerrestre Oggetto incontras Oggetto
(=>     (instance ?FROST Frosting)     (exists (?ICE ?OBJ)         (and             (instance ?ICE Ice)             (attribute ?ICE MonoCrystalline)             (patient ?FROST ?ICE)             (instance ?OBJ Object)             (attribute ?OBJ Solid)             (destination ?FROST ?OBJ)             (meetsSpatially ?FROST ?OBJ))))	Weather.kif 2778-2788	Processo è un' istanza di Frosting Oggetto Oggetto Oggetto è un' istanza di Ice attribute Oggetto and MonoCrystalline Oggetto è un paziente di Processo Oggetto è un' istanza di Oggetto attribute Oggetto and Solid Processo fines in Oggetto Processo incontras Oggetto
(=>     (instance ?G Gasket)     (hasPurpose ?G         (exists (?O1 ?O2)             (and                 (instance ?O1 CorpuscularObject)                 (instance ?O2 CorpuscularObject)                 (meetsSpatially ?O1 ?G)                 (meetsSpatially ?O2 ?G)                 (not                     (exists (?H ?D ?T ?O)                         (and                             (instance ?H HoleRegion)                             (equal ?G                                 (HoleHostFn ?H))                             (instance ?T Translocation)                             (path ?T ?H)                             (origin ?T ?O)                             (destination ?T ?D)                             (contains ?O1 ?O)                             (not                                 (contains ?O1 ?D))                             (meetsSpatially ?O1 ?D)                             (not                                 (exists (?O3)                                     (and                                         (contains ?H ?O3)                                         (not                                             (contains ?O1 ?O3))                                         (not                                             (contains ?O2 ?O3))))))))))))	Cars.kif 2849-2878	Entit�Concreta è un' istanza di Gasket Entit�Concreta ha scopo Entit� Entit� Entit� è un' istanza di OggettoCorpuscolare Entit� è un' istanza di OggettoCorpuscolare Entit� incontras Entit�Concreta Entit� incontras Entit�Concreta Entit� Entit�, Entit� and Entit� Entit� è un' istanza di apertura Entit�Concreta is uguale a HoleHostFn Entit� Entit� è un' istanza di Translocation Entit� è cammino mentre Entit� si verifica Entit� si originas in Entit� Entit� fines in Entit� contains Entit� and Entit� contains Entit� and Entit� Entit� incontras Entit� Entit�3 contains Entit� and Entit�3 contains Entit� and Entit�3 contains Entit� and Entit�3
(=>     (instance ?H Hanging)     (exists (?S ?N ?P)         (and             (instance ?P Human)             (instance ?S String)             (instance ?N Neck)             (experiencer ?H ?P)             (properPart ?N ?P)             (instrument ?H ?S)             (holdsDuring                 (WhenFn ?H)                 (meetsSpatially ?S ?N)))))	Mid-level-ontology.kif 18476-18487	Processo è un' istanza di Hanging Oggetto Oggetto and AutonomousAgent AutonomousAgent è un' istanza di Umano Oggetto è un' istanza di String Oggetto è un' istanza di Neck AutonomousAgent esperisces Processo Oggetto è una Parte propria di AutonomousAgent Oggetto è uno strumento per Processo Oggetto incontras Oggetto vales durante il tempo di esistenza di Processo
(=>     (instance ?ICING Icing)     (exists (?ICE ?OBJ)         (and             (instance ?ICE Ice)             (attribute ?ICE PolyCrystalline)             (patient ?ICING ?ICE)             (instance ?OBJ Object)             (attribute ?OBJ Solid)             (destination ?ICING ?OBJ)             (meetsSpatially ?ICE ?OBJ))))	Weather.kif 2510-2520	Processo è un' istanza di Icing Oggetto Oggetto Oggetto è un' istanza di Ice attribute Oggetto and PolyCrystalline Oggetto è un paziente di Processo Oggetto è un' istanza di Oggetto attribute Oggetto and Solid Processo fines in Oggetto Oggetto incontras Oggetto
(=>     (instance ?ISLAND Island)     (not         (exists (?AREA ?PART1 ?PART2)             (and                 (instance ?AREA LandArea)                 (part ?PART1 ?ISLAND)                 (part ?PART2 ?AREA)                 (not                     (part ?ISLAND ?AREA))                 (not                     (part ?AREA ?ISLAND))                 (meetsSpatially ?PART1 ?PART2)))))	Merge.kif 14216-14228	Oggetto è un' istanza di Isola Oggetto Oggetto and Oggetto Oggetto è un' istanza di SuperficieTerrestre Oggetto è una parte di Oggetto Oggetto è una parte di Oggetto Oggetto è una parte di Oggetto Oggetto è una parte di Oggetto Oggetto incontras Oggetto
(=>     (instance ?ISLE Island)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (meetsSpatially ?ISLE ?WATER))))	Merge.kif 14238-14243	Oggetto è un' istanza di Isola Oggetto Oggetto è un' istanza di SuperficieAcquatica Oggetto incontras 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