(=>
(between ?OBJ2 ?OBJ1 ?OBJ3)
(connects ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 9767-9769 |
If X is between Y and Z, then X connects Y and Z |
(=>
(and
(connected ?OBJ1 ?OBJ2)
(connected ?OBJ1 ?OBJ3)
(not
(connected ?OBJ2 ?OBJ3)))
(connects ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 9779-9785 |
If X is connected to Y, X is connected to Z, and Y is not connected to Z, then X connects Y and Z |
(=>
(connects ?ARC ?NODE1 ?NODE2)
(connects ?ARC ?NODE2 ?NODE1)) |
Merge.kif 9787-9789 |
If X connects Y and Z, then X connects Z and Y |
(=>
(and
(instance ?POKE Poking)
(agent ?POKE ?AGENT)
(patient ?POKE ?OBJ)
(instrument ?POKE ?INST))
(holdsDuring
(WhenFn ?POKE)
(connects ?INST ?AGENT ?OBJ))) |
Merge.kif 12621-12627 |
If X is an instance of poking, Y is an agent of X, Z is a patient of X, and W is an instrument for X, then W connects Y and Z holds during the time of existence of X |
(=>
(instance ?JUNCT BodyJunction)
(exists (?OBJ1 ?OBJ2)
(and
(instance ?OBJ1 BodyPart)
(instance ?OBJ2 BodyPart)
(connects ?JUNCT ?OBJ1 ?OBJ2)))) |
Merge.kif 15386-15392 |
If X is an instance of body junction, then there exist Y, Z such that Y is an instance of body part, Z is an instance of body part, X connects Y, and Z |
(=>
(instance ?TL TelephoneLine)
(exists (?T1 ?T2)
(and
(or
(instance ?T1 Telephone)
(instance ?T1 Telegraph))
(or
(instance ?T2 Telephone)
(instance ?T2 Telegraph))
(not
(equal ?T1 ?T2))
(connects ?TL ?T1 ?T2)))) |
Mid-level-ontology.kif 4283-4294 |
If X is an instance of telephone line, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of telephone, Y is an instance of telegraph (3) Z is an instance of telephone, or Z is an instance of telegraph (4) equal Y (5) Z (6) X connects Y (7) Z |
(=>
(and
(instance ?S Soldering)
(patient ?S ?OBJ1)
(patient ?S ?OBJ2)
(not
(equal ?OBJ1 ?OBJ2)))
(exists (?A)
(and
(instance ?A MetallicAlloy)
(connects ?A ?OBJ1 ?OBJ2)))) |
Mid-level-ontology.kif 6749-6758 |
If X is an instance of soldering, Y is a patient of X, Z is a patient of X, and equal Y and Z, then there exists W such that W is an instance of metallic alloy, W connects Y, and Z |
(=>
(instance ?T Tendon)
(exists (?M ?B)
(and
(instance ?M Muscle)
(instance ?B Bone)
(connects ?T ?M ?B)))) |
Mid-level-ontology.kif 10940-10946 |
If X is an instance of tendon, then there exist Y, Z such that Y is an instance of muscle, Z is an instance of bone, X connects Y, and Z |
(=>
(instance ?C Capillary)
(exists (?A ?V)
(and
(instance ?A Artery)
(instance ?V Vein)
(connects ?C ?A ?V)))) |
Mid-level-ontology.kif 12668-12674 |
If X is an instance of capillary, then there exist Y, Z such that Y is an instance of artery, Z is an instance of vein, X connects Y, and Z |
(=>
(instance ?NOS Nostril)
(exists (?N ?T)
(and
(instance ?N Nose)
(instance ?T Throat)
(connects ?NOS ?N ?T)))) |
Mid-level-ontology.kif 12823-12829 |
If X is an instance of nostril, then there exist Y, Z such that Y is an instance of nose, Z is an instance of throat, X connects Y, and Z |
(=>
(instance ?J BodyJoint)
(exists (?S ?P1 ?P2)
(and
(instance ?S Skeleton)
(component ?P1 ?S)
(component ?P2 ?S)
(component ?J ?S)
(connects ?J ?P1 ?P2)))) |
Mid-level-ontology.kif 13207-13215 |
If X is an instance of body joint, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of skeleton (3) Z is a component of Y (4) W is a component of Y (5) X is a component of Y (6) X connects Z (7) W |
(=>
(instance ?C Curb)
(exists (?S ?R)
(and
(instance ?S Sidewalk)
(instance ?R Roadway)
(connects ?C ?S ?R)))) |
Mid-level-ontology.kif 16626-16632 |
If X is an instance of curb, then there exist Y, Z such that Y is an instance of sidewalk, Z is an instance of roadway, X connects Y, and Z |
(=>
(and
(instance ?S Stairway)
(part ?S ?B)
(instance ?B Building))
(hasPurpose ?S
(exists (?L1 ?L2)
(and
(instance ?L1 BuildingLevel)
(instance ?L2 BuildingLevel)
(part ?L1 ?B)
(part ?L2 ?B)
(connects ?S ?L1 ?L2))))) |
Mid-level-ontology.kif 16648-16660 |
If X is an instance of stairway, X is a part of Y, and Y is an instance of building, then All of the following hold: (1) X has the purpose there exist Z (2) W such that Z is an instance of building level (3) W is an instance of building level (4) Z is a part of Y (5) W is a part of Y (6) X connects Z (7) W |
(=>
(and
(instance ?LEVEL1 BuildingLevel)
(instance ?LEVEL2 BuildingLevel)
(instance ?BUILDING Building)
(part ?LEVEL1 ?BUILDING)
(part ?LEVEL2 ?BUILDING))
(exists (?STEPS)
(and
(instance ?STEPS Steps)
(connects ?STEPS ?LEVEL1 ?LEVEL2)))) |
Mid-level-ontology.kif 16672-16682 |
If X is an instance of building level, Y is an instance of building level, Z is an instance of building, X is a part of Z, and Y is a part of Z, then there exists W such that W is an instance of steps, W connects X, and Y |
(=>
(instance ?HINGE Hinge)
(hasPurpose ?HINGE
(exists (?OBJ1 ?OBJ2)
(and
(connects ?HINGE ?OBJ1 ?OBJ2)
(or
(capability Rotating patient ?OBJ1)
(capability Rotating patient ?OBJ2)))))) |
Mid-level-ontology.kif 16852-16860 |
If X is an instance of hinge, then X has the purpose there exist Y, Z such that X connects Y, Z, and Y is capable of doing rotating as a patient or Z is capable of doing rotating as a patient |
(=>
(instance ?SEA Sea)
(exists (?OCEAN ?PATH)
(and
(instance ?OCEAN Ocean)
(instance ?PATH WaterArea)
(connects ?PATH ?OCEAN ?SEA)))) |
Geography.kif 6325-6331 |
If X is an instance of sea, then there exist Y, Z such that Y is an instance of ocean, Z is an instance of water area, Z connects Y, and X |
(=>
(instance ?strait Strait)
(exists (?body1 ?body2)
(and
(instance ?body1 BodyOfWater)
(instance ?body2 BodyOfWater)
(connects ?strait ?body1 ?body2)))) |
Geography.kif 6890-6896 |
If X is an instance of strait, then there exist Y, Z such that Y is an instance of body of water, Z is an instance of body of water, X connects Y, and Z |
(=>
(instance ?CHANNEL Channel)
(exists (?WATER1 ?WATER2)
(and
(instance ?WATER1 WaterArea)
(instance ?WATER2 WaterArea)
(connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 6927-6933 |
If X is an instance of channel, then there exist Y, Z such that Y is an instance of water area, Z is an instance of water area, X connects Y, and Z |
(=>
(and
(instance ?SYSTEM InlandWaterSystem)
(instance ?WATER1 WaterArea)
(instance ?WATER2 WaterArea)
(not
(equal ?WATER1 ?WATER2))
(not
(connected ?WATER1 ?WATER2))
(geographicSubregion ?WATER1 ?SYSTEM)
(geographicSubregion ?WATER2 ?SYSTEM))
(exists (?WATER3)
(and
(instance ?WATER3 WaterArea)
(not
(equal ?WATER3 ?WATER1))
(not
(equal ?WATER3 ?WATER1))
(part ?WATER3 ?SYSTEM)
(connects ?WATER3 ?WATER1 ?WATER2)))) |
Geography.kif 6985-7000 |
If All of the following hold: (1) X is an instance of inland water system (2) Y is an instance of water area (3) Z is an instance of water area (4) equal Y and Z (5) Y is not connected to Z (6) Y is a geographic subregion of X (7) Z is a geographic subregion of X, then All of the following hold: (1) there exists W such that W is an instance of water area (2) equal W (3) Y (4) equal W (5) Y (6) W is a part of X (7) W connects Y (8) Z |
(=>
(instance ?FORK StreamWaterConfluence)
(exists (?STREAM1 ?STREAM2)
(and
(instance ?STREAM1 StreamWaterArea)
(connects ?FORK ?STREAM1 ?STREAM2)
(instance ?STREAM2 StreamWaterArea)
(flows ?STREAM1 ?STREAM2)))) |
Geography.kif 7089-7096 |
If X is an instance of stream water confluence, then there exist Y, Z such that Y is an instance of stream water area, X connects Y, Z, Z is an instance of stream water area, and Z is a flows of Y |
(=>
(instance ?FORK StreamWaterConfluence)
(exists (?STREAM ?BRANCH)
(and
(instance ?STREAM River)
(instance ?BRANCH StreamWaterArea)
(flows ?BRANCH ?STREAM)
(connects ?FORK ?STREAM ?BRANCH)))) |
Geography.kif 7098-7105 |
If X is an instance of stream water confluence, then there exist Y, Z such that Y is an instance of river, Z is an instance of stream water area, Y is a flows of Z, X connects Y, and Z |
(=>
(instance ?CHANNEL Canal)
(exists (?WATER1 ?WATER2)
(and
(instance ?WATER1 WaterArea)
(instance ?WATER2 WaterArea)
(connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 7199-7205 |
If X is an instance of canal, then there exist Y, Z such that Y is an instance of water area, Z is an instance of water area, X connects Y, and Z |
(=>
(and
(instance ?SM StripMall)
(instance ?RS1 RetailStore)
(part ?RS1 ?SM)
(instance ?RS2 RetailStore)
(part ?RS2 ?SM)
(not
(equal ?RS1 ?RS2)))
(not
(exists (?H)
(and
(instance ?H Hallway)
(connects ?RS1 ?H ?RS2))))) |
Medicine.kif 5154-5167 |
If All of the following hold: (1) X is an instance of strip mall (2) Y is an instance of retail store (3) Y is a part of X (4) Z is an instance of retail store (5) Z is a part of X (6) equal Y and Z, then there doesn't exist W such that W is an instance of hall, Y connects W, and Z |
(=>
(instance ?X WaterSkiing)
(exists (?HUMAN ?SKI ?BOAT ?LINE ?WATER ?TRANS ?MOTION)
(and
(instance ?BOAT WaterVehicle)
(instance ?WATER WaterArea)
(instance ?SKI WaterSki)
(eventLocated ?X ?WATER)
(instance ?HUMAN Human)
(located ?HUMAN ?SKI)
(connects ?LINE ?HUMAN ?BOAT)
(instance ?TRANS Transportation)
(instrument ?TRANS ?BOAT)
(instance ?MOTION Motion)
(agent ?MOTION ?HUMAN)
(instrument ?MOTION ?SKI)
(causes ?TRANS ?MOTION)
(subProcess ?MOTION ?X)))) |
Sports.kif 1274-1291 |
If X is an instance of water skiing, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U,, , T (2) S such that W is an instance of water vehicle (3) U is an instance of water area (4) Z is an instance of water ski (5) X is located at U (6) Y is an instance of human (7) Y is located at Z (8) V connects Y (9) W (10) T is an instance of transportation (11) W is an instrument for T (12) S is an instance of motion (13) Y is an agent of S (14) Z is an instrument for S (15) T causes S (16) S is a subprocess of X |
(=>
(instance ?T Taxiway)
(hasPurpose ?T
(exists (?R ?AA)
(and
(instance ?R Runway)
(instance ?AA AirportApron)
(connects ?T ?R ?AA))))) |
Transportation.kif 1437-1444 |
If X is an instance of taxiway, then X has the purpose there exist Y, Z such that Y is an instance of runway, Z is an instance of airport apron, X connects Y, and Z |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
