bottom |
appearance as argument number 1 |
![]() |
(documentation bottom ChineseLanguage "(bottom ?BOTTOM ?OBJECT)的说法可以成立,如果 ?BOTTOM 是 ?OBJECT 最低或最深的最大的表面部分。") | chinese_format.kif 2843-2844 | |
(documentation bottom EnglishLanguage "(bottom ?BOTTOM ?OBJECT) holds if ?BOTTOM is the lowest or deepest maximal superficial part of ?OBJECT.") | Merge.kif 9159-9160 | |
(domain bottom 1 SelfConnectedObject) | Merge.kif 9156-9156 | domain bottom, 1 and SelfConnectedObject |
(domain bottom 2 SelfConnectedObject) | Merge.kif 9157-9157 | domain bottom, 2 and SelfConnectedObject |
(instance bottom BinaryPredicate) | Merge.kif 9155-9155 | instance bottom and BinaryPredicate |
(subrelation bottom superficialPart) | Merge.kif 9154-9154 | subrelation bottom and superficialPart |
appearance as argument number 2 |
![]() |
(format ChineseLanguage bottom "%2 的 bottom %n 是 %1") | chinese_format.kif 359-359 | |
(format EnglishLanguage bottom "the bottom of %2 is %n %1") | english_format.kif 365-365 | |
(termFormat ChineseLanguage bottom "底部") | chinese_format.kif 360-360 | |
(termFormat ChineseTraditionalLanguage bottom "底部") | domainEnglishFormat.kif 11758-11758 | |
(termFormat EnglishLanguage bottom "bottom") | domainEnglishFormat.kif 11757-11757 |
antecedent |
![]() |
(=> (and (bottom ?BOTTOM ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?BOTTOM))) (orientation ?PART ?BOTTOM Above)) |
Merge.kif 9162-9167 | |
(=> (and (height ?OBJECT ?HEIGHT) (top ?TOP ?OBJECT) (bottom ?BOTTOM ?OBJECT)) (distance ?TOP ?BOTTOM ?HEIGHT)) |
Merge.kif 9215-9220 | |
(=> (and (instance ?BOTTLE Bottle) (bottom ?BOTTOM ?BOTTLE) (top ?TOP ?BOTTLE) (width ?BOTTOM ?WIDTH1) (width ?TOP ?WIDTH2)) (lessThan ?WIDTH2 ?WIDTH1)) |
Mid-level-ontology.kif 5024-5031 | |
(=> (and (instance ?RAPIDS Rapids) (bottom ?BOTTOM ?RAPIDS)) (exists (?ROCK) (and (instance ?ROCK Rock) (part ?ROCK ?BOTTOM)))) |
Geography.kif 5337-5344 | |
(=> (and (instance ?REVERSE Reversing) (patient ?REVERSE ?OBJ) (holdsDuring (BeginFn (WhenFn ?REVERSE)) (and (top ?TOP ?OBJ) (bottom ?BOTTOM ?OBJ)))) (holdsDuring (EndFn (WhenFn ?REVERSE)) (and (top ?BOTTOM ?OBJ) (bottom ?TOP ?OBJ)))) |
Mid-level-ontology.kif 15102-15107 |
consequent |
![]() |
![]() |
![]() |