Flat
|
|
appearance as argument number 1 |
(documentation Flat EnglishLanguage "This ShapeAttribute describes a three dimensional Object for which two dimensions are markedly larger than the third, and the two larger dimensions also are not of markedly different lengths.") | Mid-level-ontology.kif 2775-2779 | |
(instance Flat ShapeAttribute) | Mid-level-ontology.kif 2781-2781 | Flat è un' istanza di AttributoDiForma |
appearance as argument number 2 |
(subAttribute DiskShaped Flat) | Mid-level-ontology.kif 25597-25597 | DiskShaped è un sottoattributo di Flat |
(termFormat ChineseLanguage Flat "平面") | domainEnglishFormat.kif 24182-24182 | |
(termFormat ChineseTraditionalLanguage Flat "平面") | domainEnglishFormat.kif 24181-24181 | |
(termFormat EnglishLanguage Flat "flat") | domainEnglishFormat.kif 24180-24180 |
antecedent |
(=> (attribute ?F Flat) (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U) (and (side ?S1 ?F) (side ?S2 ?F) (meetsSpatially ?S1 ?S2) (not (equal ?S1 ?S2)) (instance ?U UnitOfLength) (height ?F (MeasureFn ?HF ?U)) (height ?S1 (MeasureFn ?H1 ?U)) (height ?S2 (MeasureFn ?H2 ?U)) (greaterThan ?H1 (MultiplicationFn 2.0 ?HF)) (greaterThan ?H2 (MultiplicationFn 2.0 ?HF))))) |
Mid-level-ontology.kif 2782-2795 |
|
consequent |