(=>
(and
(property ?OBJ ?SHAPE)
(instance ?OBJ Physical)
(instance ?SHAPE ShapeAttribute))
(shape ?OBJ ?SHAPE)) |
Merge.kif 7768-7773 |
If X the attribute Y, X is an instance of physical, and Y is an instance of shape attribute, then X is Y |
(=>
(instance ?B GunBore)
(exists (?H)
(and
(instance ?H HoleRegion)
(shape ?B Cylinder)
(part ?H ?B)
(hole ?H ?B)))) |
Mid-level-ontology.kif 1427-1434 |
If X is an instance of gun bore, then there exists Y such that Y is an instance of hole, X is cylinder, Y is a part of X, and Y is a hole in X |
(=>
(instance ?C ContainerChest)
(shape ?C Rectangle)) |
Mid-level-ontology.kif 4642-4644 |
If X is an instance of chest container, then X is rectangle |
(=>
(equal
(MeasureFn
(PerFn
(MeasureFn ?F KilogramForce)
(MeasureFn ?A SquareMillimeter)) VickersPyramidNumber)
(VickersHardnessFn ?CLASS))
(modalAttribute
(exists (?SUB ?P ?D ?H ?S)
(and
(instance ?SUB ?CLASS)
(instance ?P Pushing)
(destination ?P ?SUB)
(instance ?D Diamond)
(shape ?D SquarePyramid)
(patient ?P ?D)
(result ?P ?H)
(instance ?H HoleRegion)
(part ?H ?SUB)
(surface ?S ?H)
(totalArea ?S
(MeasureFn ?A SquareMillimeter))
(measure ?P
(MeasureFn ?F KilogramForce)))) Likely)) |
Mid-level-ontology.kif 10641-10662 |
If equal the per of X kilogram force(s) and Y square millimeter(s) Vickers pyramid number(s) and The Vickers Hardness of Z is, then the statement there exist W, V,, , U,, , T and S such that W is an instance of Z and V is an instance of pushing and V ends up at W and U is an instance of diamond and U is square pyramid and U is a patient of V and T is a result of V and T is an instance of hole and T is a part of W and S is a surface of T and Y square millimeter(s) is a total area of S and the measure of V is X kilogram force(s) has the modal force of likely |
(=>
(instance ?SHAPE SphericalObject)
(shape ?SHAPE Sphere)) |
Mid-level-ontology.kif 27893-27895 |
If X is an instance of spherical object, then X is sphere |
(=>
(instance ?OBJ Whiteboard)
(shape ?OBJ Flat)) |
Mid-level-ontology.kif 28201-28203 |
If X is an instance of whiteboard, then X is flat |
(=>
(instance ?OBJ PrintedSheet)
(shape ?OBJ Flat)) |
Mid-level-ontology.kif 29000-29002 |
If X is an instance of printed sheet, then X is flat |
(=>
(instance ?HC HydraulicCylinder)
(exists (?HH ?C ?P)
(and
(instance ?C HoleRegion)
(equal ?HH
(HoleHostFn ?C))
(shape ?C Cylinder)
(instance ?P Piston)
(part ?P ?HC)
(part ?HH ?HC)))) |
Cars.kif 1491-1501 |
If X is an instance of hydraulic cylinder, then All of the following hold: (1) there exist Y, Z (2) W such that Z is an instance of hole (3) equal Y (4) the host of the hole Z (5) Z is cylinder (6) W is an instance of piston (7) W is a part of X (8) Y is a part of X |
(=>
(instance ?SCREEN ComputerScreen)
(shape ?SCREEN Rectangle)) |
ComputerInput.kif 160-162 |
If X is an instance of computer screen, then X is rectangle |
(=>
(instance ?DISK ComputerDisk)
(shape ?DISK DiskShaped)) |
ComputerInput.kif 677-679 |
If X is an instance of computer disk, then X is disk shaped |
(=>
(attribute ?M MaleConnector)
(shape ?M Convex)) |
ComputingBrands.kif 2693-2695 |
If 公 is an attribute of X, then X is convex |
(=>
(attribute ?M FemaleConnector)
(shape ?M Concave)) |
ComputingBrands.kif 2722-2724 |
If female is an attribute of X, then X is concave |
(=>
(instance ?OBJ Blackboard)
(shape ?OBJ Flat)) |
Media.kif 1034-1036 |
If X is an instance of blackboard, then X is flat |
(=>
(instance ?OBJ OpticalDisc)
(shape ?OBJ Flat)) |
Media.kif 1080-1082 |
If X is an instance of optical disc, then X is flat |
(=>
(instance ?W Wheel)
(shape ?W ConvexRoundShape)) |
Military.kif 191-193 |
If X is an instance of wheel, then X is convex round shape |
(=>
(and
(instance ?R Rotating)
(patient ?R ?TRACK)
(instance ?TRACK ContinuousTrack))
(exists (?COLL ?MEM ?I ?TREAD ?R2)
(and
(instance ?COLL CollectionOfObjects)
(member ?MEM ?COLL)
(instance ?MEM Wheel)
(memberCount ?MEM ?I)
(greaterThan ?I 2)
(part ?COLL ?TRACK)
(part ?TREAD ?TRACK)
(instance ?TREAD CorpuscularObject)
(shape ?TREAD LongAndThin)
(attribute ?TREAD Pliable)
(located ?COLL ?TREAD)
(instance ?R2 Rotating)
(causes ?R2 ?R)))) |
Military.kif 195-214 |
If X is an instance of rotating, Y is a patient of X, and Y is an instance of Continuous track, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Z is an instance of collection (3) W is a member of Z (4) W is an instance of wheel (5) V is a member count of W (6) V is greater than 2 (7) Z is a part of Y (8) U is a part of Y (9) U is an instance of corpuscular object (10) U is long and thin (11) pliable is an attribute of U (12) Z is located at U (13) T is an instance of rotating (14) T causes X |
(=>
(instance ?F Football)
(shape ?F ConvexRoundShape)) |
Sports.kif 352-354 |
If X is an instance of foot ball, then X is convex round shape |
(=>
(instance ?HOLE GolfHole)
(exists (?C ?CIR)
(and
(shape ?HOLE Cylinder)
(top ?C ?HOLE)
(instance ?C Region)
(shape ?C ?CIR)
(equal ?CIR Circle)
(diameter ?CIR
(MeasureFn 4.25 Inch))))) |
Sports.kif 990-1000 |
If X is an instance of golf hole, then there exist Y and Z such that X is cylinder and the top of X is Y and Y is an instance of region and Y is Z and equal Z and circle and the diameter of Z is 4.25 inch(s) |
(=>
(and
(instance ?CS CyclonicStorm)
(instance ?AS AirStream)
(eventLocated ?CS ?AS))
(shape ?AS Cylinder)) |
Weather.kif 997-1002 |
If X is an instance of cyclonic storm, Y is an instance of air stream, and X is located at Y, then Y is cylinder |
(=>
(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 1476-1489 |
If X is an instance of waterspout, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of air stream (3) Z is an instance of rotating (4) Y is a patient of Z (5) Z originates at W (6) W is an instance of water cloud (7) V is a part of W (8) V is cone (9) Z is located at U (10) U is an instance of body of water (11) V connects U (12) W |
(=>
(instance ?S Shaft)
(exists (?CL)
(and
(instance ?CL Cylinder)
(shape ?S ?CL)))) |
engineering.kif 987-992 |
If X is an instance of shaft, then there exists Y such that Y is an instance of cylinder and X is Y |
