(=>
(and
(connected ?OBJ1 ?OBJ2)
(connected ?OBJ1 ?OBJ3)
(not
(connected ?OBJ2 ?OBJ3)))
(connects ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 9554-9560 |
|
(=>
(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 15097-15107 |
|
(=>
(and
(instance ?POKE Poking)
(agent ?POKE ?AGENT)
(patient ?POKE ?OBJ)
(instrument ?POKE ?INST))
(holdsDuring
(WhenFn ?POKE)
(connects ?INST ?AGENT ?OBJ))) |
Merge.kif 12335-12341 |
|
(=>
(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 5630-5639 |
|
(=>
(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 15073-15085 |
|
(=>
(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 5132-5145 |
|
(=>
(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 5380-5395 |
|
(=>
(and
(muscleInsertion ?MC ?BPC)
(instance ?H Human)
(attribute ?H Healthy))
(exists (?M ?BP)
(and
(instance ?M ?MC)
(instance ?BP ?BPC)
(part ?M ?H)
(part ?BP ?H)
(connects ?M ?BP)))) |
Anatomy.kif 1745-1756 |
|
(=>
(and
(muscleOrigin ?MC ?BPC)
(instance ?H Human)
(attribute ?H Healthy))
(exists (?M ?BP)
(and
(instance ?M ?MC)
(instance ?BP ?BPC)
(part ?M ?H)
(part ?BP ?H)
(connects ?M ?BP)))) |
Anatomy.kif 1695-1706 |
|
(=>
(between ?OBJ2 ?OBJ1 ?OBJ3)
(connects ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 9542-9544 |
|
(=>
(connects ?ARC ?NODE1 ?NODE2)
(connects ?ARC ?NODE2 ?NODE1)) |
Merge.kif 9562-9564 |
|
(=>
(instance ?C Capillary)
(exists (?A ?V)
(and
(instance ?A Artery)
(instance ?V Vein)
(connects ?C ?A ?V)))) |
Mid-level-ontology.kif 11178-11184 |
|
(=>
(instance ?C Curb)
(exists (?S ?R)
(and
(instance ?S Sidewalk)
(instance ?R Roadway)
(connects ?C ?S ?R)))) |
Mid-level-ontology.kif 15051-15057 |
|
(=>
(instance ?CHANNEL Canal)
(exists (?WATER1 ?WATER2)
(and
(instance ?WATER1 WaterArea)
(instance ?WATER2 WaterArea)
(connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 5599-5605 |
|
(=>
(instance ?CHANNEL Channel)
(exists (?WATER1 ?WATER2)
(and
(instance ?WATER1 WaterArea)
(instance ?WATER2 WaterArea)
(connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 5322-5328 |
|
(=>
(instance ?FORK StreamWaterConfluence)
(exists (?STREAM ?BRANCH)
(and
(instance ?STREAM River)
(instance ?BRANCH StreamWaterArea)
(flows ?BRANCH ?STREAM)
(connects ?FORK ?STREAM ?BRANCH)))) |
Geography.kif 5498-5505 |
|
(=>
(instance ?FORK StreamWaterConfluence)
(exists (?STREAM1 ?STREAM2)
(and
(instance ?STREAM1 StreamWaterArea)
(connects ?FORK ?STREAM1 ?STREAM2)
(instance ?STREAM2 StreamWaterArea)
(flows ?STREAM1 ?STREAM2)))) |
Geography.kif 5489-5496 |
|
(=>
(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 15276-15284 |
|
(=>
(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 11707-11715 |
|
(=>
(instance ?JUNCT BodyJunction)
(exists (?OBJ1 ?OBJ2)
(and
(instance ?OBJ1 BodyPart)
(instance ?OBJ2 BodyPart)
(connects ?JUNCT ?OBJ1 ?OBJ2)))) |
Merge.kif 15090-15096 |
|
(=>
(instance ?NOS Nostril)
(exists (?N ?T)
(and
(instance ?N Nose)
(instance ?T Throat)
(connects ?NOS ?N ?T)))) |
Mid-level-ontology.kif 11327-11333 |
|
(=>
(instance ?SEA Sea)
(exists (?OCEAN ?PATH)
(and
(instance ?OCEAN Ocean)
(instance ?PATH WaterArea)
(connects ?PATH ?OCEAN ?SEA)))) |
Geography.kif 4783-4789 |
|
(=>
(instance ?T Tendon)
(exists (?M ?B)
(and
(instance ?M Muscle)
(instance ?B Bone)
(connects ?T ?M ?B)))) |
Mid-level-ontology.kif 9449-9455 |
|
(=>
(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 3637-3648 |
|
(=>
(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 1246-1263 |
- If a process is an instance of water skiing,
- then there exist an agent, an object,, , another object,, , a third object,, , a fourth object,, , another process and a third process such that the other object is an instance of water vehicle and the fourth object is an instance of water area and the object is an instance of water ski and the process is located at the fourth object and the agent is an instance of human and the agent is located at the object and the third object connects the agent and the other object and the other process is an instance of transportation and the other object is an instrument for the other process and the third process is an instance of motion and the agent is an agent of the third process and the object is an instrument for the third process and the other process causes the third process and the third process is a subprocess of the process
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |