(<=>
(orientation ?OBJ1 ?OBJ2 Adjacent)
(or
(orientation ?OBJ1 ?OBJ2 Near)
(connected ?OBJ1 ?OBJ2))) |
Merge.kif 17184-17188 |
An object is adjacent to another object if and only if the object is near to the other object or the object is connected to the other object |
(=>
(and
(connected ?X ?Y)
(part ?Y ?Z))
(connected ?X ?Z)) |
Geography.kif 514-518 |
|
(=>
(and
(connectedBodyPart ?A ?B)
(attribute ?H Healthy))
(exists (?AI ?BI)
(and
(instance ?AI ?A)
(instance ?BI ?B)
(part ?AI ?H)
(part ?BI ?H)
(connected ?AI ?BI)))) |
Mid-level-ontology.kif 12185-12195 |
|
(=>
(and
(connectedBodyPartTypes ?P1 ?P2 ?O)
(instance ?OC ?O)
(not
(attribute ?H DiseaseOrSyndrome)))
(exists (?PC1 ?PC2)
(and
(instance ?PC1 ?P1)
(instance ?PC2 ?P2)
(not
(equal ?PC1 ?PC2))
(part ?PC1 ?OC)
(part ?PC2 ?OC)
(connected ?PC1 ?PC2)))) |
Anatomy.kif 32-46 |
|
(=>
(and
(instance ?ATTACH Attaching)
(patient ?ATTACH ?OBJ1)
(patient ?ATTACH ?OBJ2))
(and
(holdsDuring
(BeginFn
(WhenFn ?ATTACH))
(not
(connected ?OBJ1 ?OBJ2)))
(holdsDuring
(EndFn
(WhenFn ?ATTACH))
(connected ?OBJ1 ?OBJ2)))) |
Merge.kif 12420-12427 |
|
(=>
(and
(instance ?DETACH Detaching)
(patient ?DETACH ?OBJ1)
(patient ?DETACH ?OBJ2))
(and
(holdsDuring
(BeginFn
(WhenFn ?DETACH))
(connected ?OBJ1 ?OBJ2))
(holdsDuring
(EndFn
(WhenFn ?DETACH))
(not
(connected ?OBJ1 ?OBJ2))))) |
Merge.kif 12468-12475 |
|
(=>
(and
(instance ?DSAVE DataSaving)
(resource ?DSAVE ?RES)
(instance ?RES ElectronicDataStorageDevice))
(exists (?DEV)
(and
(instance ?DEV ElectricDevice)
(instrument ?DSAVE ?DEV)
(holdsDuring
(WhenFn ?DSAVE)
(connected ?RES ?DEV))))) |
Media.kif 690-700 |
|
(=>
(and
(instance ?E Extension)
(moves ?E ?BP))
(exists (?M ?MC)
(and
(instance ?M Muscle)
(instance ?MC MuscularContraction)
(instrument ?E ?M)
(connected ?M ?BP)
(subProcess ?MC ?E)))) |
Mid-level-ontology.kif 10865-10875 |
|
(=>
(and
(instance ?F Flexion)
(moves ?F ?BP))
(exists (?M ?MC)
(and
(instance ?M Muscle)
(instance ?MC MuscularContraction)
(instrument ?F ?M)
(connected ?M ?BP)
(subProcess ?MC ?F)))) |
Mid-level-ontology.kif 10825-10835 |
|
(=>
(and
(instance ?OBJ SelfConnectedObject)
(equal ?OBJ
(MereologicalSumFn ?PART1 ?PART2)))
(connected ?PART1 ?PART2)) |
Merge.kif 9565-9569 |
|
(=>
(and
(instance ?PORT PortFacility)
(capability ShipBerthing patient ?PORT))
(exists (?HARBOR)
(and
(instance ?HARBOR Harbor)
(connected ?HARBOR ?PORT)
(capability ShipBerthing path ?HARBOR)))) |
Transportation.kif 3781-3789 |
|
(=>
(and
(instance ?R CervicalVertebraBone)
(part ?R ?H)
(instance ?H Human)
(not
(attribute ?H DiseaseOrSyndrome)))
(exists (?S)
(and
(instance ?S CervicalVertebraBone)
(not
(equal ?S ?R))
(part ?S ?H)
(connected ?S ?R)))) |
Anatomy.kif 561-574 |
|
(=>
(and
(instance ?R FalseRibBone)
(part ?R ?H)
(instance ?H Human)
(not
(attribute ?H DiseaseOrSyndrome)))
(not
(exists (?S)
(and
(instance ?S Sternum)
(part ?S ?H)
(connected ?S ?R))))) |
Anatomy.kif 505-517 |
|
(=>
(and
(instance ?R LumbarVertebraBone)
(part ?R ?H)
(instance ?H Human)
(not
(attribute ?H DiseaseOrSyndrome)))
(exists (?S)
(and
(instance ?S LumbarVertebraBone)
(not
(equal ?S ?R))
(part ?S ?H)
(connected ?S ?R)))) |
Anatomy.kif 601-614 |
|
(=>
(and
(instance ?R ThoracicVertebraBone)
(part ?R ?H)
(instance ?H Human)
(not
(attribute ?H DiseaseOrSyndrome)))
(exists (?S)
(and
(instance ?S ThoracicVertebraBone)
(not
(equal ?S ?R))
(part ?S ?H)
(connected ?S ?R)))) |
Anatomy.kif 669-682 |
|
(=>
(and
(instance ?R TrueRibBone)
(part ?R ?H)
(instance ?H Human)
(not
(attribute ?H DiseaseOrSyndrome)))
(exists (?S)
(and
(instance ?S Sternum)
(part ?S ?H)
(connected ?S ?R)))) |
Anatomy.kif 492-503 |
|
(=>
(and
(instance ?RIVER River)
(instance ?WATER BodyOfWater)
(flows ?RIVER ?WATER))
(exists (?MOUTH)
(and
(instance ?MOUTH RiverMouth)
(streamOutfall ?MOUTH ?RIVER)
(connected ?MOUTH ?WATER)))) |
Geography.kif 5637-5646 |
|
(=>
(and
(instance ?TOUCH Touching)
(agent ?TOUCH ?OBJ1)
(patient ?TOUCH ?OBJ2))
(and
(holdsDuring
(BeginFn
(WhenFn ?TOUCH))
(not
(connected ?OBJ1 ?OBJ2)))
(holdsDuring
(EndFn
(WhenFn ?TOUCH))
(connected ?OBJ1 ?OBJ2)))) |
Merge.kif 11545-11552 |
|
(=>
(and
(instance ?W VehicleWheel)
(instance ?V RoadVehicle)
(part ?W ?V))
(exists (?A)
(and
(instance ?A Axle)
(component ?A ?V)
(connected ?W ?A)))) |
Mid-level-ontology.kif 3531-3540 |
|
(=>
(and
(properlyFills ?OBJ1 ?HOLE)
(connected ?OBJ2 ?OBJ1))
(connected ?HOLE ?OBJ2)) |
Merge.kif 10096-10100 |
|
(=>
(attribute ?X Locked)
(exists (?LOCK ?CLOSE ?MOVE)
(and
(instance ?LOCK Lock)
(connected ?LOCK ?X)
(instance ?CLOSE Closing)
(patient ?CLOSE ?LOCK)
(instance ?MOVE Motion)
(earlier
(WhenFn ?CLOSE)
(WhenFn
(attribute ?X Locked)))
(holdsDuring
(WhenFn
(attribute ?X Locked))
(not
(modalAttribute
(patient ?MOVE ?X) Possibility)))))) |
Mid-level-ontology.kif 2691-2707 |
|
(=>
(attribute ?X PartialVacuum)
(exists (?O ?G ?P1 ?P2 ?PM)
(and
(instance ?O SelfConnectedObject)
(instance ?G Region)
(not
(equal ?G ?X))
(connected ?X ?O)
(connected ?G ?O)
(measure ?G
(MeasureFn ?P1 ?PM))
(measure ?X
(MeasureFn ?P2 ?PM))
(instance ?PM UnitOfAtmosphericPressure)
(greaterThan ?P1 ?P2)))) |
Cars.kif 383-396 |
|
(=>
(attribute ?X Pressurized)
(exists (?O ?G ?P1 ?P2 ?PM)
(and
(instance ?O SelfConnectedObject)
(instance ?G Region)
(not
(equal ?G ?X))
(connected ?X ?O)
(connected ?G ?O)
(measure ?G
(MeasureFn ?P1 ?PM))
(measure ?X
(MeasureFn ?P2 ?PM))
(instance ?PM UnitOfAtmosphericPressure)
(greaterThan ?P2 ?P1)))) |
Cars.kif 403-416 |
|
(=>
(completelyFills ?OBJ1 ?HOLE)
(forall (?OBJ2)
(=>
(connected ?OBJ2 ?HOLE)
(connected ?OBJ2 ?OBJ1)))) |
Merge.kif 10089-10094 |
|
(=>
(connects ?OBJ1 ?OBJ2 ?OBJ3)
(and
(connected ?OBJ1 ?OBJ2)
(connected ?OBJ1 ?OBJ3)
(not
(connected ?OBJ2 ?OBJ3)))) |
Merge.kif 9596-9602 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |