| appearance as argument number 1 |
|
| (documentation shape EnglishLanguage "(shape ?OBJECT ?SHAPE) means that the shape of ?OBJECT is ?SHAPE.") | Merge.kif 7623-7623 | |
| (domain shape 1 Physical) | Merge.kif 7621-7621 | shape の数値 1 引数は 物理 の instance では %n |
| (domain shape 2 ShapeAttribute) | Merge.kif 7622-7622 | shape の数値 2 引数は 形状属性 の instance では %n |
| (instance shape BinaryPredicate) | Merge.kif 7619-7619 | shape は 2進述語 の instance では %n |
| (subrelation shape property) | Merge.kif 7620-7620 | shape は property の subrelation では %n |
| 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 | cellShape は shape の subrelation では %n |
| (termFormat EnglishLanguage shape "shape") | domainEnglishFormat.kif 65992-65992 | cellShape は shape の subrelation では %n |
| antecedent |
|
|
| (=> (and (cylinderBore ?CY ?M) (instance ?CY HoleRegion) (shape ?CY Cylinder) (part ?CI ?CY) (instance ?CI Region) (shape ?CI Circle)) (diameter ?CI ?M)) |
Cars.kif 1541-1549 |
|
| (=> (and (instance ?C Object) (shape ?C Circle)) (exists (?P) (equal (CenterOfCircleFn ?C) ?P))) |
Merge.kif 7650-7655 |
|
| (=> (and (instance ?C Object) (shape ?C Circle)) (exists (?R) (radius ?C ?R))) |
Merge.kif 7643-7648 |
| consequent |
|
|
| (=> (and (instance ?CS CyclonicStorm) (instance ?AS AirStream) (eventLocated ?CS ?AS)) (shape ?AS Cylinder)) |
Weather.kif 556-561 | |
| (=> (and (property ?OBJ ?SHAPE) (instance ?OBJ Physical) (instance ?SHAPE ShapeAttribute)) (shape ?OBJ ?SHAPE)) |
Merge.kif 7625-7630 | |
| (=> (attribute ?M FemaleConnector) (shape ?M Concave)) |
ComputingBrands.kif 2811-2813 | |
| (=> (attribute ?M MaleConnector) (shape ?M Convex)) |
ComputingBrands.kif 2782-2784 | |
| (=> (circumfrence ?C ?L) (shape ?C Circle)) |
Mid-level-ontology.kif 31410-31412 | |
| (=> (diameter ?CIRCLE ?LENGTH) (shape ?CIRCLE Circle)) |
Merge.kif 7708-7710 | |
| (=> (equal ?L (DiameterFn ?C)) (shape ?C Circle)) |
Mid-level-ontology.kif 4943-4946 | |
| (=> (equal ?L (RadiusFn ?C)) (shape ?C Circle)) |
Mid-level-ontology.kif 4962-4965 | |
| (=> (equal ?P (CenterOfCircleFn ?C)) (shape ?C Circle)) |
Merge.kif 7665-7668 |
|
| (=> (instance ?C ContainerChest) (shape ?C Rectangle)) |
Mid-level-ontology.kif 3989-3991 | |
| (=> (instance ?DISK ComputerDisk) (shape ?DISK DiskShaped)) |
ComputerInput.kif 661-663 |
|
| (=> (instance ?F Football) (shape ?F ConvexRoundShape)) |
Sports.kif 340-342 | |
| (=> (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 1611-1621 |
|
| (=> (instance ?HOLE GolfHole) (exists (?C) (and (shape ?HOLE Cylinder) (top ?C ?HOLE) (instance ?C Region) (shape ?C Circle) (diameter ?C (MeasureFn 4.25 Inch))))) |
Sports.kif 964-973 |
|
| (=> (instance ?OBJ Blackboard) (shape ?OBJ Flat)) |
Media.kif 1089-1091 | |
| (=> (instance ?OBJ OpticalDisc) (shape ?OBJ Flat)) |
Media.kif 1135-1137 | |
| (=> (instance ?OBJ PrintedSheet) (shape ?OBJ Flat)) |
Media.kif 1069-1071 | |
| (=> (instance ?OBJ Whiteboard) (shape ?OBJ Flat)) |
Mid-level-ontology.kif 25897-25899 | |
| (=> (instance ?SCREEN ComputerScreen) (shape ?SCREEN Rectangle)) |
ComputerInput.kif 160-162 | |
| (=> (instance ?SHAPE SphericalObject) (shape ?SHAPE Sphere)) |
Mid-level-ontology.kif 25878-25880 | |
| (=> (radius ?CIRCLE ?RADIUS) (shape ?CIRCLE Circle)) |
Merge.kif 7687-7689 |
|
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