TreeView Knowledge Base Browser

appearance as argument number 1

(documentation shape EnglishLanguage "(shape ?OBJECT ?SHAPE) means that the shape of ?OBJECT is ?SHAPE.")	Merge.kif 7658-7658
(domain shape 1 Physical)	Merge.kif 7656-7656	The number 1 argument of shape is an instance of physical
(domain shape 2 ShapeAttribute)	Merge.kif 7657-7657	The number 2 argument of shape is an instance of shape attribute
(instance shape BinaryPredicate)	Merge.kif 7654-7654	shape is an instance of binary predicate
(subrelation shape property)	Merge.kif 7655-7655	shape is a subrelation of property

appearance as argument number 2

(format ChineseLanguage shape "%1 是 %2 ")	domainEnglishFormat.kif 4510-4510
(format ChineseTraditionalLanguage shape "%1 是 %2 ")	domainEnglishFormat.kif 4509-4509
(format EnglishLanguage shape "%1 is %2")	domainEnglishFormat.kif 4508-4508
(subrelation cellShape shape)	VirusProteinAndCellPart.kif 408-408	cell shape is a subrelation of shape
(termFormat EnglishLanguage shape "shape")	domainEnglishFormat.kif 65958-65958	cell shape is a subrelation of shape

antecedent

(=>
    (and
        (cylinderBore ?CY ?M)
        (instance ?CY HoleRegion)
        (shape ?CY Cylinder)
        (part ?CI ?CY)
        (instance ?CI Region)
        (shape ?CI ?C)
        (equal ?C Circle))
    (diameter ?C ?M))

Cars.kif 1541-1550

If the bore of a hole is a length measure and the hole is an instance of hole and the hole is cylinder and an object is a part of the hole and the object is an instance of region and the object is a circle and the circle is equal to circle,
then the diameter of the circle is the length measure

consequent

(=> (and (instance ?CS CyclonicStorm) (instance ?AS AirStream) (eventLocated ?CS ?AS)) (shape ?AS Cylinder))	Weather.kif 556-561	If a process is an instance of cyclonic storm and an object is an instance of air stream and the process is located at the object, then the object is cylinder
(=> (and (instance ?R Rotating) (patient ?R ?TRACK) (instance ?TRACK ContinuousTrack)) (exists (?COLL ?MEM ?TREAD ?R2) (and (instance ?COLL Collection) (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 193-212	If a process is an instance of rotating and an object is a patient of the process and the object is an instance of Continuous track, then there exist a collection, another collection,, , another object and the process2 such that the collection is an instance of collection and the other collection is a member of the collection and the other collection is an instance of wheel and an integer is a member count of the other collection and the integer is greater than 2 and the collection is a part of the object and the other object is a part of the object and the other object is an instance of corpuscular object and the other object is long and thin and pliable is an attribute of the other object and the collection is located at the other object and the process2 is an instance of rotating and the process2 causes the process
(=> (and (property ?OBJ ?SHAPE) (instance ?OBJ Physical) (instance ?SHAPE ShapeAttribute)) (shape ?OBJ ?SHAPE))	Merge.kif 7660-7665	If a physical the attribute a shape attribute and the physical is an instance of physical and the shape attribute is an instance of shape attribute, then the physical is the shape attribute
(=> (attribute ?M FemaleConnector) (shape ?M Concave))	ComputingBrands.kif 2811-2813	If female is an attribute of an object, then the object is concave
(=> (attribute ?M MaleConnector) (shape ?M Convex))	ComputingBrands.kif 2782-2784	If 公 is an attribute of an object, then the object is convex
(=> (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 10473-10494	If the per of a real number kilogram force(s) and another real number square millimeter(s) Vickers pyramid number(s) is equal to The Vickers Hardness of a kind of substance is, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of a kind of substance and the other entity is an instance of pushing and the other entity ends up at the entity and the third entity is an instance of diamond and the third entity is square pyramid and the third entity is a patient of the other entity and the fourth entity is a result of the other entity and the fourth entity is an instance of hole and the fourth entity is a part of the entity and the fifth entity is a surface of the fourth entity and the other real number square millimeter(s) is a total area of the fifth entity and the measure of the other entity is the real number kilogram force(s) has the modal force of likely
(=> (instance ?B GunBore) (exists (?H) (and (instance ?H HoleRegion) (shape ?B Cylinder) (part ?H ?B) (hole ?H ?B))))	Mid-level-ontology.kif 1392-1399	If a self connected object is an instance of gun bore, then there exists a hole such that the hole is an instance of hole and the self connected object is cylinder and the hole is a part of the self connected object and the hole is a hole in the self connected object
(=> (instance ?C ContainerChest) (shape ?C Rectangle))	Mid-level-ontology.kif 4439-4441	If a physical is an instance of chest container, then the physical is rectangle
(=> (instance ?DISK ComputerDisk) (shape ?DISK DiskShaped))	ComputerInput.kif 661-663	If a physical is an instance of computer disk, then the physical is disk shaped
(=> (instance ?F Football) (shape ?F ConvexRoundShape))	Sports.kif 352-354	If a physical is an instance of foot ball, then the physical is convex round shape
(=> (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 1612-1622	If an object is an instance of hydraulic cylinder, then there exist another object, a hole and a third object such that the hole is an instance of hole and the other object is equal to the host of the hole the hole and the hole is cylinder and the third object is an instance of piston and the third object is a part of the object and the other object is a part of the object
(=> (instance ?HOLE GolfHole) (exists (?C) (and (shape ?HOLE Cylinder) (top ?C ?HOLE) (instance ?C Region) (shape ?C ?CIR) (equal ?CIR Circle) (diameter ?CIR (MeasureFn 4.25 Inch)))))	Sports.kif 976-986	If a self connected object is an instance of golf hole, then there exists another self connected object such that the self connected object is cylinder and the top of the self connected object is the other self connected object and the other self connected object is an instance of region and the other self connected object is the other self connected objectIR and the other self connected objectIR is equal to circle and the diameter of the other self connected objectIR is 4.25 inch(s)
(=> (instance ?OBJ Blackboard) (shape ?OBJ Flat))	Media.kif 1089-1091	If a physical is an instance of blackboard, then the physical is flat
(=> (instance ?OBJ OpticalDisc) (shape ?OBJ Flat))	Media.kif 1135-1137	If a physical is an instance of optical disc, then the physical is flat
(=> (instance ?OBJ PrintedSheet) (shape ?OBJ Flat))	Media.kif 1069-1071	If a physical is an instance of printed sheet, then the physical is flat
(=> (instance ?OBJ Whiteboard) (shape ?OBJ Flat))	Mid-level-ontology.kif 27533-27535	If a physical is an instance of whiteboard, then the physical is flat
(=> (instance ?S Shaft) (exists (?CL) (and (instance ?CL Cylinder) (shape ?S ?CL))))	engineering.kif 900-905	If a physical is an instance of shaft, then there exists a shape attribute such that the shape attribute is an instance of cylinder and the physical is the shape attribute
(=> (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	If an entity is an instance of waterspout, then there exist another entity, a process,, , an object,, , another object and a third object such that the other entity is an instance of air stream and the process is an instance of rotating and the other entity is a patient of the process and the process originates at the object and the object is an instance of water cloud and the other object is a part of the object and the other object is cone and the process is located at the third object and the third object is an instance of body of water and the other object connects the third object and the object
(=> (instance ?SCREEN ComputerScreen) (shape ?SCREEN Rectangle))	ComputerInput.kif 160-162	If a physical is an instance of computer screen, then the physical is rectangle
(=> (instance ?SHAPE SphericalObject) (shape ?SHAPE Sphere))	Mid-level-ontology.kif 27254-27256	If a physical is an instance of spherical object, then the physical is sphere
(=> (instance ?W Wheel) (shape ?W ConvexRoundShape))	Military.kif 189-191	If a physical is an instance of wheel, then the physical is convex round shape

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: