connected |
![]() |
(=> (equipmentType ?O ?T) (exists (?D) (and (instance ?D ?T) (or (part ?D ?O) (connected ?D ?O))))) |
Mid-level-ontology.kif 25989-25996 | |
(=> (flows ?FLUID1 ?FLUID2) (connected ?FLUID1 ?FLUID2)) |
Geography.kif 5745-5747 | |
(=> (hole ?HOLE ?OBJ) (connected ?HOLE ?OBJ)) |
Merge.kif 10073-10075 |
|
(=> (instance ?F Fireplace) (exists (?C) (and (instance ?C Chimney) (connected ?F ?C)))) |
Mid-level-ontology.kif 16739-16744 | |
(=> (instance ?GULF Gulf) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (connected ?GULF ?SEA)))) |
Geography.kif 5383-5390 | |
(=> (instance ?INLET Inlet) (exists (?WATER) (and (instance ?WATER WaterArea) (connected ?INLET ?WATER)))) |
Geography.kif 5523-5528 | |
(=> (instance ?LABEL Label) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (connected ?LABEL ?OBJ) (refers ?LABEL ?OBJ)))) |
Mid-level-ontology.kif 15848-15854 | |
(=> (instance ?NA NetworkAdapter) (exists (?Net) (and (instance ?Net ComputerNetwork) (connected ?NA ?Net)))) |
QoSontology.kif 940-945 |
|
(=> (instance ?NECK Neck) (exists (?HEAD) (and (instance ?HEAD Head) (connected ?NECK ?HEAD)))) |
Mid-level-ontology.kif 14206-14211 | |
(=> (instance ?NOSE Nose) (exists (?N1 ?N2) (and (instance ?N1 Nostril) (instance ?N2 Nostril) (not (equal ?N1 ?N2)) (connected ?N1 ?NOSE) (connected ?N2 ?NOSE)))) |
Mid-level-ontology.kif 12648-12656 | |
(=> (instance ?PORCH Porch) (exists (?BUILDING) (and (instance ?BUILDING Building) (connected ?PORCH ?BUILDING)))) |
Mid-level-ontology.kif 17017-17022 | |
(=> (instance ?SAIL Sail) (exists (?MAST) (and (material Fabric ?SAIL) (instance ?MAST Mast) (connected ?SAIL ?MAST)))) |
Mid-level-ontology.kif 28246-28252 | |
(=> (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 2500-2509 | |
(=> (instance ?SL SalineLock) (hasPurpose ?SL (exists (?IVL) (and (instance ?IVL IVLine) (connected ?SL ?IVL))))) |
Medicine.kif 1105-1111 | |
(=> (instance ?SYSTEM RiverSystem) (exists (?RIVER ?STATIC) (and (instance ?RIVER River) (part ?RIVER ?SYSTEM) (instance ?STATIC StaticWaterArea) (connected ?RIVER ?STATIC)))) |
Geography.kif 5827-5834 | |
(=> (instance ?T Trachea) (exists (?TH) (and (instance ?TH Throat) (connected ?TH ?T)))) |
Mid-level-ontology.kif 13071-13076 | |
(=> (instance ?THROAT Throat) (exists (?MOUTH) (and (instance ?MOUTH Mouth) (connected ?THROAT ?MOUTH)))) |
Mid-level-ontology.kif 13058-13063 | |
(=> (instance ?TT TractorTrailer) (exists (?TRAC ?TRAIL) (and (instance ?TRAC TruckTractor) (instance ?TRAIL TruckTrailer) (part ?TRAC ?TT) (part ?TRAIL ?TT) (connected ?TRAC ?TRAIL)))) |
Transportation.kif 1971-1979 | |
(=> (instance ?WATER Estuary) (exists (?SEA) (and (instance ?SEA SaltWaterArea) (part ?SEA WorldOcean) (connected ?SEA ?WATER)))) |
Geography.kif 5478-5484 | |
(=> (instance ?X CarBombing) (exists (?BOMB ?CAR) (and (instance ?BOMB Bomb) (instance ?CAR TransportationDevice) (instrument ?X ?CAR) (instrument ?X ?BOMB) (connected ?CAR ?BOMB)))) |
Mid-level-ontology.kif 23481-23489 | |
(=> (instance ?X FuelCapLock) (hasPurpose ?X (exists (?TANK ?HOLE ?T) (and (instance ?TANK GasTank) (hole ?HOLE ?TANK) (decreasesLikelihood (holdsDuring ?T (and (connected ?X ?HOLE) (attribute ?X Locked))) (holdsDuring ?T (exists (?STEAL ?FUEL) (and (instance ?STEAL Stealing) (instance ?FUEL Fuel) (located ?FUEL ?TANK) (patient ?STEAL ?FUEL))))))))) |
Cars.kif 1016-1034 |
|
(=> (instance ?X GrabBar) (and (exists (?WALL) (and (instance ?WALL Wall) (connected ?X ?WALL))) (hasPurpose ?X (exists (?GRAB) (and (instance ?GRAB Grabbing) (instrument ?GRAB ?X)))))) |
Mid-level-ontology.kif 28381-28392 | |
(=> (instance ?X Hammock) (and (material Fabric ?X) (exists (?POLE1 ?POLE2 ?GROUND) (and (orientation ?POLE1 ?POLE2 Near) (connected ?POLE1 ?X) (connected ?POLE2 ?X) (instance ?GROUND LandArea) (located ?X ?GROUND) (orientation ?X ?GROUND Above))))) |
Mid-level-ontology.kif 4401-4412 | |
(=> (instance ?X MultimediaProjector) (hasPurpose ?X (exists (?RS ?SCREEN ?VIDEO) (and (instance ?RS RadiatingLight) (instrument ?RS ?X) (patient ?RS ?VIDEO) (or (instance ?VIDEO VideoRecording) (instance ?VIDEO Image)) (destination ?RS ?SCREEN) (instance ?SCREEN Artifact) (attribute ?SCREEN Flat) (not (connected ?X ?SCREEN)))))) |
Mid-level-ontology.kif 28128-28142 |
|
(=> (instance ?X TapeRecorder) (hasPurpose ?X (exists (?AUDIO ?TAPE ?PROC) (and (instance ?PROC IntentionalProcess) (instrument ?PROC ?X) (result ?PROC ?AUDIO) (instance ?AUDIO AudioRecording) (instance ?TAPE RecordingTape) (holdsDuring ?PROC (connected ?TAPE ?X)) (before (BeginFn (WhenFn ?PROC)) (BeginFn (WhenFn (part ?AUDIO ?TAPE)))))))) |
Media.kif 1338-1352 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |