(=>
(and
(instance ?DIRECT DirectionalAttribute)
(orientation ?OBJ1 ?OBJ2 ?DIRECT)
(orientation ?OBJ2 ?OBJ3 ?DIRECT))
(between ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 17004-17009 |
|
(=>
(and
(instance ?Isthmus Isthmus)
(side ?Leftside ?Isthmus)
(side ?Rightside ?Isthmus)
(not
(equal ?Leftside ?Rightside)))
(exists (?Region1 ?Region2 ?Water1 ?Water2)
(and
(instance ?Region1 LandArea)
(instance ?Region2 LandArea)
(between ?Region1 ?Isthmus ?Region2)
(instance ?Water1 WaterArea)
(instance ?Water2 WaterArea)
(meetsSpatially ?Leftside ?Water1)
(meetsSpatially ?Rightside ?Water2)))) |
Geography.kif 5823-5837 |
|
(=>
(and
(instance ?MID MiddleCIButton)
(component ?MID ?DEV)
(instance ?DEV ComputerInputDevice))
(exists (?LEFT ?RIGHT)
(and
(instance ?RIGHT RightCIButton)
(instance ?LEFT LeftCIButton)
(component ?RIGHT ?DEV)
(component ?LEFT ?DEV)
(between ?LEFT ?MID ?RIGHT)
(orientation ?MID ?LEFT Left)
(orientation ?MID ?RIGHT Right)))) |
ComputerInput.kif 224-237 |
|
(=>
(and
(instance ?T Thoracentesis)
(patient ?T ?H))
(exists (?I ?O ?IN ?L ?C ?F)
(and
(instance ?I Inserting)
(subProcess ?I ?T)
(objectTransferred ?I ?N)
(origin ?I ?O)
(destination ?I ?IN)
(instance ?N Needle)
(attribute ?F Fluid)
(objectTransferred ?T ?F)
(destination ?F ?O)
(instance ?L Lung)
(instance ?C Chest)
(part ?L ?H)
(part ?C ?H)
(origin ?T ?IN)
(destination ?T ?O)
(between ?L ?IN ?C)
(orientation ?O ?H Outside)))) |
Medicine.kif 895-917 |
- Wenn Transfer ist ein fall von Thoracentesis %n{nicht} und Object ist ein patient von ** Transfer %n{nicht},
- dann es gibt ** Transfer, ** Object,, , ** ** TransferN,, , ** Object,, , ** Object, and und ** Object um ** ** Transfer ist ein fall von Inserting %n{nicht} und ** ** Transfer ist ein subProzess von ** Transfer und objectTransferred ** ** Transfer and ** Object und ** ** Transfer beginnet an ** ** Object %n{nicht} und ** ** Transfer endet an ** ** TransferN %n{nicht} und ** ** Object ist ein fall von Needle %n{nicht} und Fluid ist ein attribut von ** ** Object %n{nicht} und objectTransferred ** Transfer and ** ** Object und ** ** Object endet an ** ** Object %n{nicht} und ** ** Object ist ein fall von Lung %n{nicht} und ** ** Object ist ein fall von Chest %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** Transfer beginnet an ** ** TransferN %n{nicht} und ** Transfer endet an ** ** Object %n{nicht} und ** ** TransferN ist zwischen ** ** Object und ** ** Object %n{nicht} und ** ** Object ist Outside hinsichlich ** Object %n{nicht}
|
(=>
(and
(instance ?VCS VentedChestSeal)
(instance ?A Attaching)
(objectTransferred ?A ?VCS)
(destination ?A ?H))
(hasPurpose ?VCS
(exists (?A ?L ?C ?H)
(and
(instance ?A Air)
(instance ?L Lung)
(instance ?C Chest)
(part ?L ?H)
(part ?C ?H)
(holdsDuring
(ImmediatePastFn
(WhenFn ?A))
(between ?L ?A ?C))
(hasPurpose ?VCS
(holdsDuring
(ImmediateFutureFn
(WhenFn ?A))
(orientation ?A ?H Outside))))))) |
Medicine.kif 853-875 |
|
(=>
(and
(instance ?ZONE MaritimeContiguousZone)
(claimedTerritory ?ZONE ?AREA)
(instance ?WATER TerritorialSea)
(claimedTerritory ?WATER ?AREA))
(between ?AREA ?WATER ?ZONE)) |
Geography.kif 1206-1212 |
|
(=>
(and
(path ?PROCESS ?PATH1)
(origin ?PROCESS ?SOURCE)
(destination ?PROCESS ?DEST)
(length ?PATH1
(MeasureFn ?MEASURE1 ?U))
(distance ?SOURCE ?DEST
(MeasureFn ?DISTANCE ?U))
(not
(greaterThan ?MEASURE1 ?DISTANCE))
(part ?OBJ ?PATH1))
(between ?SOURCE ?OBJ ?DEST)) |
Merge.kif 11082-11092 |
|
(=>
(and
(subclass ?T1C Tissue)
(subclass ?T2C Tissue)
(instance ?T1 ?T1C)
(instance ?T2 ?T2C)
(instance ?H Human)
(part ?T1 ?H)
(part ?T2 ?H)
(not
(equal ?T1C ?T2C))
(not
(subclass ?T1C ?T2C))
(not
(subclass ?T2C ?T1C))
(orientation ?T1 ?T2 Adjacent))
(modalAttribute
(exists (?CT)
(and
(instance ?CT ConnectiveTissue)
(between ?T1 ?CT ?T2))) Likely)) |
Merge.kif 15166-15187 |
|
(=>
(attribute ?O Translucent)
(modalAttribute
(exists (?EMIT ?S ?OBJ)
(and
(instance ?EMIT RadiatingLight)
(resource ?EMIT ?S)
(destination ?EMIT ?OBJ)
(between ?S ?O ?OBJ)
(holdsDuring
(WhenFn ?EMIT)
(attribute ?OBJ Illuminated)))) Possibility)) |
Mid-level-ontology.kif 15152-15164 |
|
(=>
(attribute ?O Translucent)
(modalAttribute
(not
(exists (?S ?A ?D)
(and
(instance ?S Seeing)
(agent ?S ?A)
(destination ?S ?D)
(between ?O ?A ?D)))) Likely)) |
Mid-level-ontology.kif 15140-15150 |
|
(=>
(attribute ?O Transparent)
(modalAttribute
(exists (?S ?A ?D)
(and
(instance ?S Seeing)
(agent ?S ?A)
(destination ?S ?D)
(between ?O ?A ?D))) Possibility)) |
Mid-level-ontology.kif 15124-15133 |
|
(=>
(between ?END1 ?MID ?END2)
(between ?END2 ?MID ?END1)) |
Merge.kif 4161-4163 |
|
(=>
(betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH)
(between ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 4178-4180 |
|
(=>
(connects ?OBJ1 ?OBJ2 ?OBJ3)
(between ?OBJ2 ?OBJ1 ?OBJ3)) |
Merge.kif 9538-9540 |
|
(=>
(holdsDuring ?T
(attribute ?H Pneumothorax))
(holdsDuring ?T
(exists (?A)
(and
(instance ?A Air)
(instance ?L Lung)
(instance ?C Chest)
(part ?L ?H)
(part ?C ?H)
(between ?L ?A ?C))))) |
Medicine.kif 799-810 |
|
(=>
(instance ?FRONT StormFront)
(exists (?AIR1 ?AIR2)
(and
(instance ?AIR1 Air)
(instance ?AIR2 Air)
(between ?AIR1 ?FRONT ?AIR2)))) |
Mid-level-ontology.kif 9081-9087 |
|
(=>
(instance ?HALL Hallway)
(hasPurpose ?HALL
(exists (?TRAN ?BUILD ?R1 ?R2)
(and
(instance ?TRAN Translocation)
(path ?TRAN ?HALL)
(located ?HALL ?BUILD)
(instance ?BUILD Building)
(between ?R1 ?HALL ?R2)
(instance ?R1 Room)
(instance ?R2 Room)
(located ?R1 ?BUILD)
(located ?R2 ?BUILD)
(not
(equal ?R1 ?R2)))))) |
Mid-level-ontology.kif 15622-15637 |
|
(=>
(instance ?LW LaminatedWindshield)
(exists (?G1 ?G2 ?P)
(and
(instance ?G1 Glass)
(instance ?G2 Glass)
(instance ?P Plastic)
(part ?G1 ?LW)
(part ?G2 ?LW)
(part ?P ?LW)
(between ?G1 ?P ?G2)))) |
Cars.kif 3236-3246 |
|
(=>
(instance ?S Sandwich)
(exists (?B1 ?B2 ?F)
(and
(instance ?B1 BreadOrBiscuit)
(instance ?B2 BreadOrBiscuit)
(instance ?F
(FoodForFn Human))
(between ?B1 ?F ?B2)
(not
(equal ?B1 ?B2))
(not
(equal ?B1 ?F))
(not
(equal ?B2 ?F))
(part ?B1 ?S)
(part ?B2 ?S)
(part ?F ?S)))) |
Food.kif 1584-1597 |
|