| appearance as argument number 1 |
|
| (documentation FrontFn ChineseLanguage "这是一个Function ，它能把 Object 转到一般能够得到 最大程度关注或者说通常是面对该 Object 移动的方向的那一面。注：这是一个部分函数， 因为有一些 Object 是没有侧面的，例如苹果和球体。 也要注意这个 Function 的 range 是无限的，就像 ImmediateFutureFn 和 ImmediatePastFn 一样也是无限的。从理论的观点来说，虽然这个无限性并不理想，但它没有太大的实际影响， 因为在共同意思间对于最常见的情况已经达成广泛的共识。") | chinese_format.kif 1560-1564 | |
| (documentation FrontFn EnglishLanguage "A Function that maps an Object to the side that generally receives the most attention or that typically faces the direction in which the Object moves. Note that this is a partial function, since some Objects do not have sides, e.g. apples and spheres. Note too that the range of this Function is indefinite in much the way that ImmediateFutureFn and ImmediatePastFn are indefinite. Although this indefiniteness is undesirable from a theoretical standpoint, it does not have significant practical implications, since there is widespread intersubjective agreement about the most common cases.") | Merge.kif 839-847 | |
| (domain FrontFn 1 SelfConnectedObject) | Merge.kif 836-836 | |
| (instance FrontFn PartialValuedRelation) | Merge.kif 834-834 | |
| (instance FrontFn SpatialRelation) | Merge.kif 833-833 | |
| (instance FrontFn UnaryFunction) | Merge.kif 835-835 | |
| (range FrontFn SelfConnectedObject) | Merge.kif 837-837 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage FrontFn " %1 的前面") | chinese_format.kif 259-259 | |
| (format EnglishLanguage FrontFn "the front of %1") | english_format.kif 267-267 | |
| (termFormat ChineseLanguage FrontFn "挪前函数") | chinese_format.kif 260-260 | |
| (termFormat ChineseLanguage FrontFn "面前") | domainEnglishFormat.kif 25071-25071 | |
| (termFormat ChineseTraditionalLanguage FrontFn "面前") | domainEnglishFormat.kif 25070-25070 | |
| (termFormat EnglishLanguage FrontFn "front") | domainEnglishFormat.kif 25069-25069 |
| antecedent |
|
|
| (=> (and (instance ?F Face) (part ?F ?P) (equal ?B (FrontFn ?P))) (part ?F ?B)) |
Mid-level-ontology.kif 11281-11287 |
| consequent |
|
|
| (=> (and (albumCoverImage ?A ?I) (instance ?CD (AlbumCopiesFn ?A ?DS)) (contains ?C ?CD)) (modalAttribute (part ?I (FrontFn ?C)) Likely)) |
Music.kif 313-319 | |
| (=> (and (instance ?B Breast) (instance ?H Human) (part ?B ?H)) (part ?B (FrontFn ?H))) |
Mid-level-ontology.kif 11219-11225 | |
| (=> (instance ?B Breast) (exists (?T) (and (instance ?T Torso) (part ?B (FrontFn ?T))))) |
Mid-level-ontology.kif 11204-11210 | |
| (=> (instance ?L Headlight) (exists (?V) (and (instance ?V Vehicle) (part ?L (FrontFn ?V))))) |
Mid-level-ontology.kif 3010-3015 | |
| (=> (instance ?OBJ SelfConnectedObject) (side (FrontFn ?OBJ) ?OBJ)) |
Merge.kif 849-851 | |
| (=> (instance ?W Windshield) (exists (?A) (and (instance ?A RoadVehicle) (part ?W (FrontFn ?A))))) |
Mid-level-ontology.kif 3391-3396 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners