(=>
(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 |
- Wenn Process ist ein fall von WaterSkiing %n{nicht},
- dann es gibt AutonomousAgent, Object,, , ** Object,, , ** Object,, , ** Object,, , ** Process, and und ** Process um ** ** Object ist ein fall von WaterVehicle %n{nicht} und ** ** Object ist ein fall von WaterArea %n{nicht} und ** Object ist ein fall von WaterSki %n{nicht} und eventLocated ** Process and ** ** Object und ** AutonomousAgent ist ein fall von Human %n{nicht} und ** AutonomousAgent befindet sich an %n{nicht} und ** ** Object schleisst ** AutonomousAgent und ** ** Object an und ** ** Process ist ein fall von Transportation %n{nicht} und ** ** Object ist ein instrument fuer ** ** Process %n{nicht} und ** ** Process ist ein fall von Motion %n{nicht} und ** ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** Object ist ein instrument fuer ** ** Process %n{nicht} und ** ** Process verursacht ** ** Process %n{nicht} und ** ** Process ist ein subProzess von ** Process
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |