(=>     (instance ?D Differential)     (exists (?G1 ?G2)         (and             (instance ?G1 Gear)             (instance ?G2 Gear)             (part ?G1 ?D)             (part ?G2 ?D)             (orientation ?G1 ?G2 RightAngle))))	Cars.kif 2263-2271	Oggetto è un' istanza di Differential Oggetto Oggetto Oggetto è un' istanza di Gear Oggetto è un' istanza di Gear Oggetto è una parte di Oggetto Oggetto è una parte di Oggetto Oggetto è RightAngle a Oggetto
(=>     (instance ?G GUIDock)     (exists (?I ?P ?CP)         (and             (instance ?CP ComputerProgram)             (programRunning ?P ?CP)             (instance ?I Icon)             (represents ?I ?P)             (orientation ?I ?G Inside))))	ComputingBrands.kif 2544-2552	Oggetto è un' istanza di GUIDock Oggetto ComputerProcess and ProgrammaDiComputer ProgrammaDiComputer è un' istanza di ProgrammaDiComputer programRunning ComputerProcess and ProgrammaDiComputer Oggetto è un' istanza di Icona Oggetto esprime ComputerProcess Oggetto è Inside a Oggetto
(=>     (instance ?G ResidentialGarden)     (exists (?B)         (and             (instance ?B ResidentialBuilding)             (orientation ?G ?B Adjacent))))	Mid-level-ontology.kif 8180-8185	Oggetto è un' istanza di ResidentialGarden Oggetto Oggetto è un' istanza di ResidentialBuilding Oggetto è Adjacent a Oggetto
(=>     (instance ?G ResidentialGarden)     (modalAttribute         (exists (?F)             (and                 (instance ?F Fence)                 (orientation ?G ?F Surrounded))) Likely))	Mid-level-ontology.kif 8187-8193	Entit� è un' istanza di ResidentialGarden l'affermazione Entit� Entit� è un' istanza di Fence Entit� è Surrounded a Entit� ha il modello di forza di Likely
(=>     (instance ?INDOORS Indoors)     (exists (?BUILDING)         (and             (instance ?BUILDING Building)             (orientation ?INDOORS ?BUILDING Inside))))	Mid-level-ontology.kif 9144-9149	Oggetto è un' istanza di Indoors Oggetto Oggetto è un' istanza di Costruzione Oggetto è Inside a Oggetto
(=>     (instance ?IVE InteriorVehicleEquipment)     (hasPurpose ?IVE         (exists (?V ?E)             (and                 (instance ?V Automobile)                 (instance ?E Engine)                 (part ?E ?V)                 (not                     (part ?IVE ?E))                 (part ?IVE ?V)                 (orientation ?IVE ?V Inside)))))	Cars.kif 4702-4713	Entit�Concreta è un' istanza di InteriorVehicleEquipment Entit�Concreta ha scopo Entit� Entit� Entit� è un' istanza di Automobile Entit� è un' istanza di Engine Entit� è una parte di Entit� Entit�Concreta è una parte di Entit� Entit�Concreta è una parte di Entit� Entit�Concreta è Inside a Entit�
(=>     (instance ?LAND SubmergedLandArea)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (orientation ?LAND ?WATER Below)             (orientation ?WATER ?LAND On)             (meetsSpatially ?LAND ?WATER))))	Geography.kif 6072-6079	Oggetto è un' istanza di SubmergedLandArea Oggetto Oggetto è un' istanza di SuperficieAcquatica Oggetto è Below a Oggetto Oggetto è On a Oggetto Oggetto incontras Oggetto
(=>     (instance ?MAT PrayerMat)     (hasPurpose ?MAT         (exists (?PRAY ?PERSON)             (and                 (instance ?PRAY Praying)                 (agent ?PRAY ?PERSON)                 (instance ?PERSON Human)                 (holdsDuring                     (WhenFn ?PRAY)                     (orientation ?PERSON ?MAT On))))))	Mid-level-ontology.kif 25847-25856	Entit�Concreta è un' istanza di PrayerMat Entit�Concreta ha scopo Entit� Entit� Entit� è un' istanza di Praying Entit� è un agente di Entit� Entit� è un' istanza di Umano Entit� è On a Entit�Concreta vales durante il tempo di esistenza di Entit�
(=>     (instance ?OE OutboardEngine)     (hasPurpose ?OE         (exists (?W)             (and                 (instance ?W WaterVehicle)                 (meetsSpatially ?OE ?W)                 (orientation ?OE ?W Outside)))))	Cars.kif 4358-4365	Entit�Concreta è un' istanza di OutboardEngine Entit�Concreta ha scopo Entit� Entit� è un' istanza di WaterVehicle Entit�Concreta incontras Entit� Entit�Concreta è Outside a Entit�
(=>     (instance ?OUTDOORS Outdoors)     (not         (exists (?BUILDING)             (and                 (instance ?BUILDING Building)                 (orientation ?OUTDOORS ?BUILDING Inside)))))	Mid-level-ontology.kif 9132-9138	Oggetto è un' istanza di Outdoors Oggetto Oggetto è un' istanza di Costruzione Oggetto è Inside a Oggetto
(=>     (instance ?PARK StreetParking)     (exists (?STREET)         (and             (instance ?STREET Street)             (orientation ?PARK ?STREET On))))	TransportDetail.kif 66-71	Oggetto è un' istanza di StreetParking Oggetto Oggetto è un' istanza di Street Oggetto è On a Oggetto
(=>     (instance ?PORT PortCity)     (exists (?SEA)         (and             (or                 (instance ?SEA Sea)                 (instance ?SEA Ocean))             (or                 (orientation ?PORT ?SEA Adjacent)                 (orientation ?PORT ?SEA Near)))))	Transportation.kif 841-850	Oggetto è un' istanza di PortCity Oggetto Oggetto è un' istanza di Sea Oggetto è un' istanza di Ocean Oggetto è Adjacent a Oggetto Oggetto è Near a Oggetto
(=>     (instance ?PORT SeaPort)     (exists (?SEA)         (and             (or                 (instance ?SEA Sea)                 (instance ?SEA Ocean))             (or                 (orientation ?PORT ?SEA Adjacent)                 (orientation ?PORT ?SEA Near)))))	Transportation.kif 873-882	Oggetto è un' istanza di SeaPort Oggetto Oggetto è un' istanza di Sea Oggetto è un' istanza di Ocean Oggetto è Adjacent a Oggetto Oggetto è Near a Oggetto
(=>     (instance ?R UnderwaterRegion)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (orientation ?R ?WATER Below))))	Mid-level-ontology.kif 17677-17682	Oggetto è un' istanza di UnderwaterRegion Oggetto Oggetto è un' istanza di SuperficieAcquatica Oggetto è Below a Oggetto
(=>     (instance ?ROOT PlantRoot)     (hasPurpose ?ROOT         (exists (?TRAN ?STUFF ?HOST)             (and                 (instance ?TRAN Transfer)                 (instrument ?TRAN ?ROOT)                 (origin ?TRAN ?HOST)                 (orientation ?HOST ?ROOT Outside)                 (objectTransferred ?TRAN ?STUFF)                 (or                     (instance ?STUFF FreshWater)                     (instance ?STUFF Nutrient))))))	Mid-level-ontology.kif 9506-9518	Entit�Concreta è un' istanza di PlantRoot Entit�Concreta ha scopo Entit� Entit� and Entit� Entit� è un' istanza di Trasferimento Entit�Concreta è uno strumento per Entit� Entit� si originas in Entit� Entit� è Outside a Entit�Concreta objectTransferred Entit� and Entit� Entit� è un' istanza di FreshWater Entit� è un' istanza di Nutriente
(=>     (instance ?Reef Reef)     (exists (?Water)         (and             (instance ?Water WaterArea)             (orientation ?Reef ?Water Near))))	Geography.kif 5942-5947	Oggetto è un' istanza di Reef Oggetto Oggetto è un' istanza di SuperficieAcquatica Oggetto è Near a Oggetto
(=>     (instance ?SCUBA ScubaDiving)     (exists (?WATER ?DEVICE ?BREATH)         (and             (instance ?WATER WaterArea)             (orientation ?SCUBA ?WATER Below)             (instance ?DEVICE Device)             (instance ?BREATH Breathing)             (instrument ?BREATH ?DEVICE)             (subProcess ?BREATH ?SCUBA))))	Mid-level-ontology.kif 26890-26899	Oggetto è un' istanza di ScubaDiving Oggetto Oggetto and Processo Oggetto è un' istanza di SuperficieAcquatica Oggetto è Below a Oggetto Oggetto è un' istanza di Dispositivo Processo è un' istanza di Respirazione Oggetto è uno strumento per Processo Processo è un sottoprocesso di Oggetto
(=>     (instance ?SHOWER Shower)     (exists (?X ?FLOOR)         (and             (or                 (instance ?X Wall)                 (instance ?X Ceiling))             (connected ?SHOWER ?X)             (instance ?FLOOR Floor)             (orientation ?SHOWER ?FLOOR Above))))	Mid-level-ontology.kif 2037-2046	Oggetto è un' istanza di Shower Oggetto Oggetto Oggetto è un' istanza di Wall Oggetto è un' istanza di Ceiling Oggetto è connesso a Oggetto Oggetto è un' istanza di Floor Oggetto è Above a Oggetto
(=>     (instance ?SIDE Sidewalk)     (exists (?ROAD)         (and             (instance ?ROAD Roadway)             (orientation ?SIDE ?ROAD Near))))	Mid-level-ontology.kif 15661-15666	Oggetto è un' istanza di Sidewalk Oggetto Oggetto è un' istanza di Roadway Oggetto è Near a Oggetto
(=>     (instance ?SOAK Soaking)     (exists (?WATER ?OBJ)         (and             (instance ?OBJ Object)             (patient ?SOAK ?OBJ)             (instance ?WATER FreshWater)             (resource ?SOAK ?WATER)             (holdsDuring ?SOAK                 (orientation ?OBJ ?WATER Surrounded)))))	Mid-level-ontology.kif 26515-26524	Processo è un' istanza di Soaking Oggetto Entit� Entit� è un' istanza di Oggetto Entit� è un paziente di Processo Oggetto è un' istanza di FreshWater Oggetto è una risorsa per Processo Entit� è Surrounded a Oggetto vales durante Processo
(=>     (instance ?SURF SurfZone)     (exists (?SL)         (and             (instance ?SL Shoreline)             (orientation ?SURF ?SL Adjacent))))	Weather.kif 1375-1380	Oggetto è un' istanza di SurfZone Oggetto Oggetto è un' istanza di Shoreline Oggetto è Adjacent a Oggetto
(=>     (instance ?VRR VehicleRoofRack)     (hasPurpose ?VRR         (exists (?T ?A ?C)             (and                 (instance ?T Transfer)                 (patient ?T ?C)                 (instance ?A Automobile)                 (orientation ?VRR ?A Outside)                 (meetsSpatially ?C ?VRR)                 (part ?VRR ?A)                 (instrument ?T ?A)))))	Cars.kif 4677-4688	Entit�Concreta è un' istanza di VehicleRoofRack Entit�Concreta ha scopo Entit� Entit� and Entit� Entit� è un' istanza di Trasferimento Entit� è un paziente di Entit� Entit� è un' istanza di Automobile Entit�Concreta è Outside a Entit� Entit� incontras Entit�Concreta Entit�Concreta è una parte di Entit� Entit� è uno strumento per Entit�
(=>     (instance ?WEAVE Weaving)     (hasPurpose ?WEAVE         (exists (?SUB ?WARP ?WEFT ?OBJ)             (and                 (instance ?SUB Substance)                 (attribute ?SUB Pliable)                 (patient ?WEAVE ?SUB)                 (part ?WARP ?SUB)                 (part ?WEFT ?SUB)                 (not                     (equal ?WARP ?WEFT))                 (orientation ?WARP ?WEFT RightAngle)                 (result ?WEAVE ?OBJ)                 (instance ?OBJ Artifact)))))	Mid-level-ontology.kif 4626-4640	Entit�Concreta è un' istanza di Weaving Entit�Concreta ha scopo Entit� Entit�, Entit� and Entit� Entit� è un' istanza di Sostanza attribute Entit� and Pliable Entit� è un paziente di Entit�Concreta Entit� è una parte di Entit� Entit� è una parte di Entit� Entit� is uguale a Entit� Entit� è RightAngle a Entit� Entit� è un risultato di Entit�Concreta Entit� è un' istanza di Manufatto
(=>     (instance ?X BunkBed)     (exists (?BED1 ?BED2)         (and             (instance ?BED1 SingleBed)             (instance ?BED2 SingleBed)             (part ?BED1 ?X)             (part ?BED2 ?X)             (orientation ?BED1 ?BED2 Above))))	Mid-level-ontology.kif 3878-3886	Oggetto è un' istanza di BunkBed Oggetto Oggetto Oggetto è un' istanza di SingleBed Oggetto è un' istanza di SingleBed Oggetto è una parte di Oggetto Oggetto è una parte di Oggetto Oggetto è Above a Oggetto
(=>     (instance ?X Checkpoint)     (or         (exists (?ROAD)             (and                 (instance ?ROAD Road)                 (orientation ?ROAD ?X Near)))         (exists (?REG1 ?REG2)             (orientation                 (BorderFn ?REG1 ?REG2) ?X Near))))	Geography.kif 742-750	Oggetto è un' istanza di Checkpoint Oggetto Oggetto è un' istanza di Road Oggetto è Near a Oggetto AreaGeografica AreaGeografica BorderFn AreaGeografica and AreaGeografica è Near a 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