(=>
(and
(part ?OBJ1 ?OBJ2)
(not
(part ?OBJ2 ?OBJ1)))
(properPart ?OBJ1 ?OBJ2)) |
Merge.kif 951-956 |
If X is a part of Y and Y is not a part of X, then X is a proper part of Y |
(=>
(and
(holdsDuring ?T
(possesses ?PERSON ?OBJ))
(part ?P ?OBJ))
(holdsDuring ?T
(possesses ?PERSON ?P))) |
Merge.kif 4371-4377 |
If X possesses Y holds during Z and W is a part of Y, then X possesses W holds during Z |
(=>
(and
(amount ?S ?CO
(MeasureFn ?N ?U))
(instance ?SI ?S)
(measure ?SI
(MeasureFn ?N2 ?U))
(part ?SI ?CO))
(exists (?L)
(and
(inList
(MeasureFn ?N2 ?U) ?L)
(equal ?L
(AmountsFn ?S ?CO ?U))
(equal ?N
(ListSumFn ?L))))) |
Merge.kif 7740-7755 |
If amount X, Y and Z W(s), V is an instance of X, the measure of V is U W(s), and V is a part of Y, then there exists T such that U W(s) is a member of T and equal T and Amounts fn X, Y and W and equal Z and the sum of T |
(=>
(and
(part ?OBJ3 ?OBJ1)
(part ?OBJ3 ?OBJ2))
(overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 9812-9816 |
If X is a part of Y and X is a part of Z, then Y and Z overlapsSpatially |
(=>
(and
(not
(part ?OBJ1 ?OBJ2))
(not
(part ?OBJ2 ?OBJ1))
(and
(part ?OBJ3 ?OBJ1)
(part ?OBJ3 ?OBJ2)))
(overlapsPartially ?OBJ1 ?OBJ2)) |
Merge.kif 9859-9866 |
If X is not a part of Y, Y is not a part of X, and Z is a part of X and Z is a part of Y, then X partially overlaps with Y |
(=>
(and
(bottom ?BOTTOM ?OBJECT)
(part ?PART ?OBJECT)
(not
(connected ?PART ?BOTTOM)))
(orientation ?PART ?BOTTOM Above)) |
Merge.kif 9942-9947 |
If the bottom of X is Y, Z is a part of X, and Z is not connected to Y, then Z is above to Y |
(=>
(and
(top ?TOP ?OBJECT)
(part ?PART ?OBJECT)
(not
(connected ?PART ?TOP)))
(orientation ?PART ?TOP Below)) |
Merge.kif 9957-9962 |
If the top of X is Y, Z is a part of X, and Z is not connected to Y, then Z is below to Y |
(=>
(and
(side ?SIDE ?OBJECT)
(part ?PART ?OBJECT)
(not
(connected ?PART ?SIDE)))
(exists (?DIRECT)
(orientation ?SIDE ?PART ?DIRECT))) |
Merge.kif 9972-9979 |
If a side of X is Y, Z is a part of X, and Z is not connected to Y, then there exists W such that Y is W to Z |
(=>
(and
(hole ?HOLE ?OBJ1)
(part ?OBJ1 ?OBJ2))
(or
(overlapsSpatially ?HOLE ?OBJ2)
(hole ?HOLE ?OBJ2))) |
Merge.kif 10130-10136 |
If X is a hole in Y and Y is a part of Z, then X and Z overlapsSpatially or X is a hole in Z |
(=>
(and
(instance ?HOLE2 HoleRegion)
(part ?HOLE1 ?HOLE2))
(attribute ?HOLE1 Fillable)) |
Merge.kif 10194-10198 |
If X is an instance of hole and Y is a part of X, then fillable is an attribute of Y |
(=>
(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 11334-11344 |
If All of the following hold: (1) X is path along which Y occurs (2) Y originates at Z (3) Y ends up at W (4) the length of X is V U(s) (5) the distance between Z and W is T U(s) (6) V is not greater than T (7) S is a part of X, then S is between Z and W |
(=>
(and
(instance ?SUBSTANCE AnimalSubstance)
(instance ?ANIMAL Organism)
(part ?SUBSTANCE ?ANIMAL))
(instance ?ANIMAL Animal)) |
Merge.kif 15128-15133 |
If X is an instance of animal substance, Y is an instance of organism, and X is a part of Y, then Y is an instance of animal |
(=>
(and
(instance ?SUBSTANCE PlantSubstance)
(instance ?PLANT Organism)
(part ?SUBSTANCE ?PLANT))
(instance ?PLANT Plant)) |
Merge.kif 15139-15144 |
If X is an instance of plant substance, Y is an instance of organism, and X is a part of Y, then Y is an instance of plant |
(=>
(and
(instance ?STRUCTURE AnimalAnatomicalStructure)
(instance ?ANIMAL Organism)
(part ?STRUCTURE ?ANIMAL))
(instance ?ANIMAL Animal)) |
Merge.kif 15296-15301 |
If X is an instance of animal anatomical structure, Y is an instance of organism, and X is a part of Y, then Y is an instance of animal |
(=>
(and
(instance ?STRUCTURE PlantAnatomicalStructure)
(instance ?PLANT Organism)
(part ?STRUCTURE ?PLANT))
(instance ?PLANT Plant)) |
Merge.kif 15307-15312 |
If X is an instance of plant anatomical structure, Y is an instance of organism, and X is a part of Y, then Y is an instance of plant |
(=>
(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 15462-15483 |
If All of the following hold: (1) X is a subclass of tissue (2) Y is a subclass of tissue (3) Z is an instance of X (4) W is an instance of Y (5) V is an instance of human (6) Z is a part of V (7) W is a part of V (8) equal X and Y (9) X is not a subclass of Y (10) Y is not a subclass of X (11) Z is adjacent to W, then the statement there exists U such that U is an instance of connective tissue, U is between Z, and W has the modal force of likely |
(=>
(and
(wears ?A ?C)
(part ?P ?C))
(wears ?A ?P)) |
Merge.kif 16277-16281 |
If X wears Y and Z is a part of Y, then X wears Z |
(=>
(and
(instance ?BODY ReproductiveBody)
(part ?BODY ?ORG)
(instance ?ORG Organism))
(attribute ?ORG Female)) |
Merge.kif 18458-18463 |
If X is an instance of reproductive body, X is a part of Y, and Y is an instance of organism, then female is an attribute of Y |
(=>
(and
(holdsDuring ?T
(attribute ?H
(ImpairedBodyPartFn ?P)))
(instance ?PI ?P)
(part ?PI ?H)
(hasPurpose ?PI ?F))
(modalAttribute
(not ?F) Likely)) |
Merge.kif 18566-18576 |
If impaired body part fn X is an attribute of Y holds during Z, W is an instance of X, W is a part of Y, and W has the purpose V, then the statement V has the modal force of likely |
(=>
(and
(holdsDuring ?T
(attribute ?H
(DeadOrMissingBodyPartFn ?P)))
(instance ?PI ?P)
(part ?PI ?H)
(hasPurpose ?PI ?F))
(not ?F)) |
Merge.kif 18587-18595 |
If dead or missing body part fn X is an attribute of Y holds during Z, W is an instance of X, W is a part of Y, and W has the purpose V, then V |
(=>
(and
(instance ?REM OrganismRemains)
(holdsDuring
(WhenFn ?REM)
(part ?OBJ ?REM)))
(exists (?ORG)
(and
(instance ?ORG Organism)
(earlier
(WhenFn ?ORG)
(WhenFn ?REM))
(finishes
(WhenFn ?REM)
(WhenFn ?ORG))
(holdsDuring
(WhenFn ?ORG)
(part ?OBJ ?ORG))))) |
Mid-level-ontology.kif 32-43 |
If X is an instance of organism remains and Y is a part of X holds during the time of existence of X, then there exists Z such that Z is an instance of organism, the time of existence of Z happens earlier than the time of existence of X, the time of existence of X finishes the time of existence of Z, and Y is a part of Z holds during the time of existence of Z |
(=>
(and
(instance ?DEATH Death)
(instance ?REM OrganismRemains)
(instance ?ORG Organism)
(holdsDuring ?T2
(part ?OBJ ?REM))
(holdsDuring ?T1
(part ?OBJ ?ORG))
(earlier ?T1 ?T2)
(result ?DEATH ?REM))
(experiencer ?DEATH ?ORG)) |
Mid-level-ontology.kif 61-70 |
If All of the following hold: (1) X is an instance of death (2) Y is an instance of organism remains (3) Z is an instance of organism (4) W is a part of Y holds during V (5) W is a part of Z holds during U (6) U happens earlier than V (7) Y is a result of X, then Z experiences X |
(=>
(and
(instance ?DEATH Death)
(instance ?REM OrganismRemains)
(instance ?ORG Organism)
(holdsDuring ?T2
(part ?OBJ ?REM))
(holdsDuring ?T1
(part ?OBJ ?ORG))
(earlier ?T1 ?T2)
(experiencer ?DEATH ?ORG))
(result ?DEATH ?REM)) |
Mid-level-ontology.kif 72-81 |
If All of the following hold: (1) X is an instance of death (2) Y is an instance of organism remains (3) Z is an instance of organism (4) W is a part of Y holds during V (5) W is a part of Z holds during U (6) U happens earlier than V (7) Z experiences X, then Y is a result of X |
(=>
(and
(instance ?G Gun)
(instance ?B GunBarrel)
(part ?B ?G)
(instance ?S Shooting)
(instrument ?S ?G)
(patient ?S ?P)
(instance ?P Projectile))
(exists (?SUB)
(and
(subProcess ?SUB ?S)
(path ?SUB ?B)))) |
Mid-level-ontology.kif 1336-1348 |
If All of the following hold: (1) X is an instance of gun (2) Y is an instance of gun barrel (3) Y is a part of X (4) Z is an instance of shooting (5) X is an instrument for Z (6) W is a patient of Z (7) W is an instance of projectile, then there exists V such that V is a subprocess of Z and Y is path along which V occurs |
(=>
(and
(physicalEnd ?E1 ?O)
(physicalEnd ?E2 ?O)
(part ?P1 ?E1)
(part ?P2 ?E2)
(instance ?U UnitOfLength)
(distance ?P1 ?P2
(MeasureFn ?D1 ?U))
(not
(equal ?E1 ?E2)))
(not
(exists (?OP1 ?OP2 ?D2)
(and
(not
(part ?OP1 ?E1))
(not
(part ?OP2 ?E2))
(distance ?OP1 ?OP2
(MeasureFn ?D2 ?U))
(greaterThan ?D2 ?D1))))) |
Mid-level-ontology.kif 1550-1570 |
If All of the following hold: (1) one end of X is Y (2) one end of X is Z (3) W is a part of Y (4) V is a part of Z (5) U is an instance of unit of length (6) the distance between W and V is T U(s) (7) equal Y and Z, then there don't exist S, R and Q such that S is not a part of Y and R is not a part of Z and the distance between S and R is Q U(s) and Q is greater than T |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
