|
| (=> (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 2257-2265 | |
| (=> (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 | |
| (=> (instance ?G ResidentialGarden) (exists (?B) (and (instance ?B ResidentialBuilding) (orientation ?G ?B Adjacent)))) |
Mid-level-ontology.kif 8181-8186 | |
| (=> (instance ?G ResidentialGarden) (modalAttribute (exists (?F) (and (instance ?F Fence) (orientation ?G ?F Surrounded))) Likely)) |
Mid-level-ontology.kif 8188-8194 | |
| (=> (instance ?INDOORS Indoors) (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?INDOORS ?BUILDING Inside)))) |
Mid-level-ontology.kif 9145-9150 | |
| (=> (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 4694-4705 | |
| (=> (instance ?LAND SubmergedLandArea) (exists (?WATER) (and (instance ?WATER WaterArea) (orientation ?LAND ?WATER Below) (orientation ?WATER ?LAND On) (meetsSpatially ?LAND ?WATER)))) |
Geography.kif 6072-6079 | |
| (=> (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 25859-25868 | |
| (=> (instance ?OE OutboardEngine) (hasPurpose ?OE (exists (?W) (and (instance ?W WaterVehicle) (meetsSpatially ?OE ?W) (orientation ?OE ?W Outside))))) |
Cars.kif 4350-4357 | |
| (=> (instance ?OUTDOORS Outdoors) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?OUTDOORS ?BUILDING Inside))))) |
Mid-level-ontology.kif 9133-9139 | |
| (=> (instance ?PARK StreetParking) (exists (?STREET) (and (instance ?STREET Street) (orientation ?PARK ?STREET On)))) |
TransportDetail.kif 66-71 | |
| (=> (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 | |
| (=> (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 | |
| (=> (instance ?R UnderwaterRegion) (exists (?WATER) (and (instance ?WATER WaterArea) (orientation ?R ?WATER Below)))) |
Mid-level-ontology.kif 17678-17683 | |
| (=> (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 9507-9519 | |
| (=> (instance ?Reef Reef) (exists (?Water) (and (instance ?Water WaterArea) (orientation ?Reef ?Water Near)))) |
Geography.kif 5942-5947 | |
| (=> (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 26902-26911 | |
| (=> (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 | |
| (=> (instance ?SIDE Sidewalk) (exists (?ROAD) (and (instance ?ROAD Roadway) (orientation ?SIDE ?ROAD Near)))) |
Mid-level-ontology.kif 15662-15667 | |
| (=> (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 26527-26536 | |
| (=> (instance ?SURF SurfZone) (exists (?SL) (and (instance ?SL Shoreline) (orientation ?SURF ?SL Adjacent)))) |
Weather.kif 1379-1384 | |
| (=> (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 4669-4680 | |
| (=> (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 | |
| (=> (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 | |
| (=> (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 | |
| 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