(=>
(and
(connected ?OBJ1 ?OBJ2)
(connected ?OBJ1 ?OBJ3)
(not
(connected ?OBJ2 ?OBJ3)))
(connects ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 9690-9696 |
|
(=>
(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 16470-16480 |
|
(=>
(and
(instance ?POKE Poking)
(agent ?POKE ?AGENT)
(patient ?POKE ?OBJ)
(instrument ?POKE ?INST))
(holdsDuring
(WhenFn ?POKE)
(connects ?INST ?AGENT ?OBJ))) |
Merge.kif 12485-12491 |
|
(=>
(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 6567-6576 |
|
(=>
(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 16446-16458 |
|
(=>
(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 5140-5153 |
|
(=>
(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 5683-5698 |
|
(=>
(and
(instance ?T Transportation)
(instance ?P1 Transitway)
(path ?T ?P1)
(conveyance ?T ?V)
(instance ?J TransitwayJunction)
(part ?J ?P1))
(exists (?P2 ?M)
(and
(instance ?P2 Transitway)
(not
(equal ?P1 ?P2))
(connects ?J ?P1 ?P2)
(capability Transfer path ?J)
(instance ?M Transfer)
(conveyance ?M ?V)
(meetsTemporally
(WhenFn ?T)
(WhenFn ?M))
(modalAttribute
(path ?M ?P2) Possibility)))) |
Transportation.kif 3822-3842 |
|
(=>
(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 1780-1791 |
|
(=>
(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 1730-1741 |
|
(=>
(between ?OBJ2 ?OBJ1 ?OBJ3)
(connects ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 9678-9680 |
|
(=>
(connects ?ARC ?NODE1 ?NODE2)
(connects ?ARC ?NODE2 ?NODE1)) |
Merge.kif 9698-9700 |
|
(=>
(instance ?C Capillary)
(exists (?A ?V)
(and
(instance ?A Artery)
(instance ?V Vein)
(connects ?C ?A ?V)))) |
Mid-level-ontology.kif 12509-12515 |
|
(=>
(instance ?C Curb)
(exists (?S ?R)
(and
(instance ?S Sidewalk)
(instance ?R Roadway)
(connects ?C ?S ?R)))) |
Mid-level-ontology.kif 16424-16430 |
|
(=>
(instance ?CHANNEL Canal)
(exists (?WATER1 ?WATER2)
(and
(instance ?WATER1 WaterArea)
(instance ?WATER2 WaterArea)
(connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 5902-5908 |
|
(=>
(instance ?CHANNEL Channel)
(exists (?WATER1 ?WATER2)
(and
(instance ?WATER1 WaterArea)
(instance ?WATER2 WaterArea)
(connects ?CHANNEL ?WATER1 ?WATER2)))) |
Geography.kif 5625-5631 |
|
(=>
(instance ?FORK StreamWaterConfluence)
(exists (?STREAM ?BRANCH)
(and
(instance ?STREAM River)
(instance ?BRANCH StreamWaterArea)
(flows ?BRANCH ?STREAM)
(connects ?FORK ?STREAM ?BRANCH)))) |
Geography.kif 5801-5808 |
|
(=>
(instance ?FORK StreamWaterConfluence)
(exists (?STREAM1 ?STREAM2)
(and
(instance ?STREAM1 StreamWaterArea)
(connects ?FORK ?STREAM1 ?STREAM2)
(instance ?STREAM2 StreamWaterArea)
(flows ?STREAM1 ?STREAM2)))) |
Geography.kif 5792-5799 |
|
(=>
(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 16649-16657 |
|
(=>
(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 13038-13046 |
|
(=>
(instance ?J TransitwayJunction)
(exists (?W1 ?A ?B ?W2 ?X ?Y)
(and
(instance ?W1 Transitway)
(routeBetween ?W1 ?A ?B)
(instance ?W2 Transitway)
(routeBetween ?W2 ?X ?Y)
(not
(equal ?W1 ?W2))
(betweenOnPath ?A ?J ?B ?W1)
(betweenOnPath ?X ?J ?Y ?W2)
(connects ?J ?W1 ?W2)))) |
Transportation.kif 3808-3820 |
- If an object is an instance of transitway junction,
- then there exist a transitway, a region,, , another region,, , another transitway,, , a third region and a fourth region such that the transitway is an instance of transitway and the transitway route between the region for the other region and the other transitway is an instance of transitway and the other transitway route between the third region for the fourth region and equal the transitway and the other transitway and the object is between the region and the other region on path the transitway and the object is between the third region and the fourth region on path the other transitway and the object connects the transitway and the other transitway
|
(=>
(instance ?J TransitwayJunction)
(exists (?W1 ?W2)
(and
(instance ?W1 Transitway)
(instance ?W2 Transitway)
(connects ?J ?W1 ?W2)
(not
(equal ?W1 ?W2))))) |
Transportation.kif 3853-3861 |
|
(=>
(instance ?JUNCT BodyJunction)
(exists (?OBJ1 ?OBJ2)
(and
(instance ?OBJ1 BodyPart)
(instance ?OBJ2 BodyPart)
(connects ?JUNCT ?OBJ1 ?OBJ2)))) |
Merge.kif 15243-15249 |
|
(=>
(instance ?NOS Nostril)
(exists (?N ?T)
(and
(instance ?N Nose)
(instance ?T Throat)
(connects ?NOS ?N ?T)))) |
Mid-level-ontology.kif 12658-12664 |
|
(=>
(instance ?S Waterspout)
(exists (?A ?R ?C ?F ?W)
(and
(instance ?A AirStream)
(instance ?R Rotating)
(patient ?R ?A)
(origin ?R ?C)
(instance ?C WaterCloud)
(part ?F ?C)
(shape ?F Cone)
(eventLocated ?R ?W)
(instance ?W BodyOfWater)
(connects ?F ?W ?C)))) |
Weather.kif 1034-1047 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |