shape |
appearance as argument number 1 |
(documentation shape EnglishLanguage "(shape ?OBJECT ?SHAPE) means that the shape of ?OBJECT is ?SHAPE.") | Mid-level-ontology.kif 25577-25577 | |
(domain shape 1 Physical) | Mid-level-ontology.kif 25575-25575 | Il numero 1 argomenti di shape è un istanza di Entit�Concreta |
(domain shape 2 ShapeAttribute) | Mid-level-ontology.kif 25576-25576 | Il numero 2 argomenti di shape è un istanza di AttributoDiForma |
(instance shape BinaryPredicate) | Mid-level-ontology.kif 25573-25573 | shape è un' istanza di PredicatoBinario |
(subrelation shape property) | Mid-level-ontology.kif 25574-25574 | shape è una sottorelazione di 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 è una sottorelazione di shape |
(termFormat EnglishLanguage shape "shape") | domainEnglishFormat.kif 65933-65933 |
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 7636-7641 |
|
(=> (and (instance ?C Object) (shape ?C Circle)) (exists (?R) (radius ?C ?R))) |
Merge.kif 7629-7634 |
|
consequent |