height |
appearance as argument number 1 |
![]() |
(documentation height ChineseLanguage "一个 Object 的高度是它的顶部和底部之间的距离。") | chinese_format.kif 2642-2642 | |
(documentation height EnglishLanguage "The height of an Object is the distance between its top and its bottom.") | Merge.kif 7601-7602 | |
(documentation height JapaneseLanguage "Object の高さは、その top と bottom の間の距離 である。") | japanese_format.kif 1358-1359 | |
(domain height 1 SelfConnectedObject) | Merge.kif 7598-7598 | |
(domain height 2 LengthMeasure) | Merge.kif 7599-7599 | |
(instance height BinaryPredicate) | Merge.kif 7597-7597 | |
(subrelation height linearExtent) | Merge.kif 7596-7596 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage height "%1 的 height %n 是 %2") | chinese_format.kif 619-619 | |
(format EnglishLanguage height "the height of %1 is %n %2") | english_format.kif 622-622 | |
(format FrenchLanguage height "la hauteur de %1 est %n %2") | french_format.kif 374-374 | |
(format ItalianLanguage height "l' altezza di %1 è %n %2") | relations-it.txt 127-127 | |
(format JapaneseLanguage height "%1 の height は %2 では %n") | japanese_format.kif 2108-2108 | |
(format PortugueseLanguage height "a altura de %1 e' %n %2") | portuguese_format.kif 326-326 | |
(format de height "die hoehe von %1 ist %2 %n{nicht}") | relations-de.txt 812-812 | |
(format hi height "%1 kii uunchaaii %2 %n hai") | relations-hindi.txt 167-167 | |
(format ro height "height%t{înãlþimea} ?lui %1 %n{nu} este %2") | relations-ro.kif 396-396 | |
(format sv height "höjden på %1 är %n{inte} %2") | relations-sv.txt 415-415 | |
(format tg height "ang taas sa %1 %n ay %2") | relations-tg.txt 260-260 | |
(termFormat ChineseLanguage height "高度") | chinese_format.kif 620-620 | |
(termFormat ChineseTraditionalLanguage height "高度") | domainEnglishFormat.kif 27889-27889 | |
(termFormat EnglishLanguage height "height") | domainEnglishFormat.kif 27888-27888 | |
(termFormat de height "hoehe") | terms-de.txt 240-240 | |
(termFormat tg height "taas") | relations-tg.txt 261-261 |
antecedent |
![]() |
(=> (and (height ?OBJECT ?HEIGHT) (top ?TOP ?OBJECT) (bottom ?BOTTOM ?OBJECT)) (distance ?TOP ?BOTTOM ?HEIGHT)) |
Merge.kif 9914-9919 | |
(=> (and (instance ?ADULT HumanAdult) (height ?ADULT (MeasureFn ?HEIGHT Inch))) (not (greaterThan ?HEIGHT 120.0))) |
Mid-level-ontology.kif 204-210 | |
(=> (and (instance ?D Dune) (height ?D (MeasureFn ?N Centimeter))) (greaterThan ?N 7.0)) |
Geography.kif 4608-4612 | |
(=> (and (instance ?TREE BotanicalTree) (instance ?BUSH Shrub) (instance ?U UnitOfLength) (height ?TREE (MeasureFn ?TALL ?U)) (height ?BUSH (MeasureFn ?SHORT ?U))) (greaterThan ?TALL ?SHORT)) |
Geography.kif 6529-6538 | |
(=> (and (instance ?piedmont Piedmont) (attribute ?mountains MountainousTerrain) (orientation ?piedmont ?mountains Adjacent) (instance ?U UnitOfLength) (height ?piedmont (MeasureFn ?height1 ?U)) (height ?mountains (MeasureFn ?height2 ?U))) (greaterThan ?height2 ?height1)) |
Geography.kif 4413-4423 | |
(=> (and (maximumPayloadCapacity ?V (MeasureFn ?WEIGHT ?UNITWEIGHT)) (maximumPayloadHeightWidth ?V (MeasureFn ?HEIGHT ?UNITHEIGHT) (MeasureFn ?WIDTH ?UNITWIDTH)) (instance ?O SelfConnectedObject) (weight ?O (MeasureFn ?WEO ?WEOU)) (width ?O (MeasureFn ?WO ?WOU)) (height ?O (MeasureFn ?HO ?HOU)) (equal ?WEOU ?UNITWEIGHT) (equal ?WOU ?UNITWIDTH) (equal ?HOU ?UNITHEIGHT) (lessThanOrEqualTo ?WEO ?WEIGHT) (lessThanOrEqualTo ?WO ?WIDTH) (lessThanOrEqualTo ?HO ?HEIGHT)) (capability (KappaFn ?TRANSPORT (and (instance ?TRANSPORT Transportation) (patient ?TRANSPORT ?O))) instrument ?V)) |
MilitaryDevices.kif 144-169 |
consequent |
![]() |
(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (height ?O ?Q)) |
Mid-level-ontology.kif 33027-33032 | |
(=> (and (memberMeasure ?S Width ?Q) (instance ?S Class) (instance ?O ?S)) (height ?O ?Q)) |
Mid-level-ontology.kif 33034-33039 | |
(=> (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 3245-3258 | |
(=> (attribute ?O LevelShape) (not (exists (?P1 ?P2 ?T ?H1 ?H2 ?U) (and (top ?T ?O) (part ?P1 ?T) (part ?P2 ?T) (instance ?U UnitOfLength) (height ?P1 (MeasureFn ?H1 ?U)) (height ?P2 (MeasureFn ?H2 ?U)) (greaterThan ?H1 ?H2))))) |
Mid-level-ontology.kif 3286-3299 | |
(=> (defaultMaximumHeight ?OBJECT (MeasureFn ?H ?U)) (modalAttribute (exists (?INST ?HEIGHT) (and (instance ?INST ?OBJECT) (height ?INST (MeasureFn ?HEIGHT ?U)) (greaterThan ?HEIGHT ?H))) Unlikely)) |
Mid-level-ontology.kif 14704-14713 | |
(=> (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 14688-14696 | |
(=> (instance ?PLANER Planer) (hasPurpose ?PLANER (exists (?CUT ?OBJ1 ?OBJ2 ?U ?H1 ?H2) (and (instance ?CUT Cutting) (instrument ?CUT ?PLANER) (resource ?CUT ?OBJ1) (instance ?OBJ1 Object) (material ?OBJ1 Wood) (result ?CUT ?OBJ2) (instance ?OBJ2 Object) (material Wood ?OBJ2) (attribute ?OBJ2 Flat) (instance ?U UnitOfLength) (height ?OBJ1 (MeasureFn ?H1 ?U)) (height ?OBJ2 (MeasureFn ?H2 ?U)) (greaterThan ?H1 ?H2))))) |
Economy.kif 6415-6434 | |
(=> (instance ?T FiftythreeFtContainer) (and (length ?T (MeasureFn 53 FootLength)) (height ?T (MeasureFn 102 Inch)) (width ?T (MeasureFn 8 FootLength)))) |
Transportation.kif 3052-3060 | |
(=> (instance ?T FortyFtHalfHeightContainer) (height ?T (MeasureFn 53 Inch))) |
Transportation.kif 3000-3003 | |
(=> (instance ?T FortyFtHighcubeContainer) (height ?T (MeasureFn 114 Inch))) |
Transportation.kif 2990-2993 | |
(=> (instance ?T FortyFtStandardContainer) (height ?T (MeasureFn 102 Inch))) |
Transportation.kif 2972-2975 | |
(=> (instance ?T FortyeightFtContainer) (and (length ?T (MeasureFn 48 FootLength)) (height ?T (MeasureFn 102 Inch)) (width ?T (MeasureFn 8 FootLength)))) |
Transportation.kif 3029-3037 | |
(=> (instance ?T FortyfiveFtContainer) (and (length ?T (MeasureFn 45 FootLength)) (height ?T (MeasureFn 102 Inch)) (width ?T (MeasureFn 8 FootLength)))) |
Transportation.kif 3010-3018 | |
(=> (instance ?T TwentyFtHalfHeightContainer) (height ?T (MeasureFn 53 Inch))) |
Transportation.kif 2924-2927 | |
(=> (instance ?T TwentyFtHeavyDutyContainer) (height ?T (MeasureFn 102 Inch))) |
Transportation.kif 2888-2891 | |
(=> (instance ?T TwentyFtHighcubeContainer) (height ?T (MeasureFn 114 Inch))) |
Transportation.kif 2906-2909 | |
(=> (instance ?T TwentyFtStandardContainer) (height ?T (MeasureFn 102 Inch))) |
Transportation.kif 2852-2855 | |
(=> (maximumPayloadHeightWidth ?V (MeasureFn ?HEIGHT ?UNITHEIGHT) (MeasureFn ?WIDTH ?UNITWIDTH)) (not (exists (?TP ?O ?WO ?WOU ?HO ?HOU) (and (instance ?TP Transportation) (instrument ?TP ?V) (patient ?TP ?O) (width ?O (MeasureFn ?WO ?WOU)) (height ?O (MeasureFn ?HO ?HOU)) (equal ?WOU ?UNITWIDTH) (equal ?HOU ?UNITHEIGHT) (greaterThan ?WO ?WIDTH) (greaterThan ?HO ?HEIGHT))))) |
MilitaryDevices.kif 121-138 |
![]() |
![]() |