shape - Sigma Knowledge base Browser

appearance as argument number 1

(documentation shape EnglishLanguage "(shape ?OBJECT ?SHAPE) means that the shape of ?OBJECT is ?SHAPE.")	Merge.kif 7629-7629
(domain shape 1 Physical)	Merge.kif 7627-7627	The number 1 argument of shape is an instance of physical
(domain shape 2 ShapeAttribute)	Merge.kif 7628-7628	The number 2 argument of shape is an instance of shape attribute
(instance shape BinaryPredicate)	Merge.kif 7625-7625	shape is an instance of binary predicate
(subrelation shape property)	Merge.kif 7626-7626	shape is a subrelation of property

appearance as argument number 2

(format ChineseLanguage shape "%1 是 %2 ")	domainEnglishFormat.kif 4506-4506
(format ChineseTraditionalLanguage shape "%1 是 %2 ")	domainEnglishFormat.kif 4505-4505
(format EnglishLanguage shape "%1 is %2")	domainEnglishFormat.kif 4504-4504
(subrelation cellShape shape)	VirusProteinAndCellPart.kif 403-403	cell shape is a subrelation of shape
(termFormat EnglishLanguage shape "shape")	domainEnglishFormat.kif 65991-65991	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 (property ?OBJ ?SHAPE) (instance ?OBJ Physical) (instance ?SHAPE ShapeAttribute)) (shape ?OBJ ?SHAPE))	Merge.kif 7631-7636	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
(=> (instance ?C ContainerChest) (shape ?C Rectangle))	Mid-level-ontology.kif 3989-3991	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 340-342	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 964-974	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 25938-25940	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 ?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 25919-25921	If a physical is an instance of spherical object, then the physical is sphere

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: