shape |
appearance as argument number 1 |
(documentation shape EnglishLanguage "(shape ?OBJECT ?SHAPE) means that the shape of ?OBJECT is ?SHAPE.") | Mid-level-ontology.kif 25578-25578 | |
(domain shape 1 Physical) | Mid-level-ontology.kif 25576-25576 | Le nombre 1 argument de shape est une instance de physique |
(domain shape 2 ShapeAttribute) | Mid-level-ontology.kif 25577-25577 | Le nombre 2 argument de shape est une instance de attribut de forme |
(instance shape BinaryPredicate) | Mid-level-ontology.kif 25574-25574 | shape est une instance de pr�dicat binaire |
(subrelation shape property) | Mid-level-ontology.kif 25575-25575 | shape est une sous-relation de 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 | cellShape est une sous-relation de shape |
(termFormat EnglishLanguage shape "shape") | domainEnglishFormat.kif 65933-65933 |
consequent |
(=> (and (property ?OBJ ?SHAPE) (instance ?OBJ Physical) (instance ?SHAPE ShapeAttribute)) (shape ?OBJ ?SHAPE)) |
Mid-level-ontology.kif 25580-25585 |
|
(=> (attribute ?M FemaleConnector) (shape ?M Concave)) |
ComputingBrands.kif 2811-2813 | |
(=> (attribute ?M MaleConnector) (shape ?M Convex)) |
ComputingBrands.kif 2782-2784 | |
(=> (instance ?C ContainerChest) (shape ?C Rectangle)) |
Mid-level-ontology.kif 3996-3998 | |
(=> (instance ?DISK ComputerDisk) (shape ?DISK DiskShaped)) |
ComputerInput.kif 661-663 |
|
(=> (instance ?F Football) (shape ?F ConvexRoundShape)) |
Sports.kif 340-342 | |
(=> (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 25633-25635 | |
(=> (instance ?SCREEN ComputerScreen) (shape ?SCREEN Rectangle)) |
ComputerInput.kif 160-162 | |
(=> (instance ?SHAPE Circle) (shape ?SHAPE Circular)) |
Mid-level-ontology.kif 25602-25604 | |
(=> (instance ?SHAPE Oval) (shape ?SHAPE Elliptical)) |
Mid-level-ontology.kif 25594-25596 | |
(=> (instance ?SHAPE SphericalObject) (shape ?SHAPE Sphere)) |
Mid-level-ontology.kif 25614-25616 |