(=>
(and
(connected ?OBJ1 ?OBJ2)
(connected ?OBJ1 ?OBJ3)
(not
(connected ?OBJ2 ?OBJ3)))
(connects ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 9576-9582 |
|
(=>
(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 15096-15106 |
|
(=>
(and
(instance ?POKE Poking)
(agent ?POKE ?AGENT)
(patient ?POKE ?OBJ)
(instrument ?POKE ?INST))
(holdsDuring
(WhenFn ?POKE)
(connects ?INST ?AGENT ?OBJ))) |
Merge.kif 12357-12363 |
|
(=>
(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 5629-5638 |
|
(=>
(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 15072-15084 |
|
(=>
(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 9564-9566 |
|
(=>
(connects ?ARC ?NODE1 ?NODE2)
(connects ?ARC ?NODE2 ?NODE1)) |
Merge.kif 9584-9586 |
|
(=>
(instance ?C Capillary)
(exists (?A ?V)
(and
(instance ?A Artery)
(instance ?V Vein)
(connects ?C ?A ?V)))) |
Mid-level-ontology.kif 11177-11183 |
|
(=>
(instance ?C Curb)
(exists (?S ?R)
(and
(instance ?S Sidewalk)
(instance ?R Roadway)
(connects ?C ?S ?R)))) |
Mid-level-ontology.kif 15050-15056 |
|
(=>
(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 15275-15283 |
|
(=>
(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 11706-11714 |
|
(=>
(instance ?JUNCT BodyJunction)
(exists (?OBJ1 ?OBJ2)
(and
(instance ?OBJ1 BodyPart)
(instance ?OBJ2 BodyPart)
(connects ?JUNCT ?OBJ1 ?OBJ2)))) |
Merge.kif 15112-15118 |
|
(=>
(instance ?NOS Nostril)
(exists (?N ?T)
(and
(instance ?N Nose)
(instance ?T Throat)
(connects ?NOS ?N ?T)))) |
Mid-level-ontology.kif 11326-11332 |
|
(=>
(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 9448-9454 |
|
(=>
(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 1247-1264 |
- 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 |