defaultMinimumHeight |
appearance as argument number 1 |
(documentation defaultMinimumHeight EnglishLanguage "A BinaryPredicate that states the assumed minimum height of an Object") | Mid-level-ontology.kif 13345-13345 | |
(domain defaultMinimumHeight 2 LengthMeasure) | Mid-level-ontology.kif 13344-13344 | 域 defaultMinimumHeight, 2 and LengthMeasure |
(domainSubclass defaultMinimumHeight 1 Object) | Mid-level-ontology.kif 13343-13343 | 域子類 defaultMinimumHeight, 1 and Object |
(instance defaultMinimumHeight BinaryPredicate) | Mid-level-ontology.kif 13342-13342 | 例 defaultMinimumHeight and BinaryPredicate |
appearance as argument number 2 |
(format ChineseLanguage defaultMinimumHeight "%1 的 minimum 预期高度是 %2 ") | domainEnglishFormat.kif 3198-3198 | |
(format ChineseTraditionalLanguage defaultMinimumHeight "%1 的 minimum 預期高度是 %2 ") | domainEnglishFormat.kif 3197-3197 | |
(format EnglishLanguage defaultMinimumHeight "the minimum expected height of %1 is %2") | domainEnglishFormat.kif 3196-3196 | |
(termFormat EnglishLanguage defaultMinimumHeight "default minimum height") | Mid-level-ontology.kif 13346-13346 |
antecedent |
(=> (defaultMinimumHeight ?OBJECT (MeasureFn ?H ?U)) (modalAttribute (exists (?INST ?HEIGHT) (and (instance ?INST ?OBJECT) (height ?INST (MeasureFn ?HEIGHT ?U)) (lessThan ?HEIGHT ?H))) Unlikely)) |
Mid-level-ontology.kif 13348-13356 |
|