FrontFn |
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 881-889 | |
(documentation FrontFn JapaneseLanguage "Function は一般的に最も注目される側に Object をマップするか、もしくは通常 Object が移動する方向に向く。注:これは 一部の Objects に側面が ない為、部分的関数である。例:リンゴと球。ImmediateFutureFn と ImmediatePastFn が無限 であるように、この Function の range も無限であることにも注意する。 最も一般的な事例 についての広範な主観間合意がある為、この不明確さは理論的な観点からは望ましくないが、重要な実用的 意義を持たない。") | japanese_format.kif 132-137 | |
(documentation FrontFn SpanishLanguage "Una Function que mapea un Object al lado que generalmente recibe la mayoría de la atención o que típicamente está orientado al mismo sentido en el que el Object se mueve. Note que esta es una función parcial porque algunos Objects no tienen lados, por ejemplo, manzanas y esféricos. Note que el rango de la Function es indefinido en la misma manera que ImmediateFutureFn y ImmediatePastFn son indefinidos. Aunque este estado indefinido es indeseable desde el punto de vista teórico, no hay implicaciones practicas y significativas desde que hay acuerdo intersubjetivo en casi todas las veces.") | spanish_format.kif 160-167 | |
(documentation FrontFn SpanishLanguage "Una Function que mapea un Object al lado que generalmente recibe la mayoría de la atención o que típicamente está orientado al mismo sentido en la que el Object se mueve. Note que esta es una función parcial porque algunos Objects no tienen lados, por ejemplo, manzanas y esféricos. Note que el rango de la Function es indefinido en la misma manera que ImmediateFutureFn y ImmediatePastFn son indefinidos. Aunque este estado indefinido es indeseable desde el punto de vista teórico, no hay implicaciones practicas y significativa desde que hay acuerdo intersubjetivo en casi todas las veces.") | spanish_format.kif 152-159 | |
(domain FrontFn 1 SelfConnectedObject) | Merge.kif 878-878 | |
(instance FrontFn PartialValuedRelation) | Merge.kif 876-876 | |
(instance FrontFn SpatialRelation) | Merge.kif 875-875 | |
(instance FrontFn UnaryFunction) | Merge.kif 877-877 | |
(range FrontFn SelfConnectedObject) | Merge.kif 879-879 |
appearance as argument number 2 |
(format ChineseLanguage FrontFn " %1 的前面") | chinese_format.kif 259-259 | |
(format EnglishLanguage FrontFn "the front of %1") | english_format.kif 264-264 | |
(format FrenchLanguage FrontFn "le devant de %1") | french_format.kif 148-148 | |
(format ItalianLanguage FrontFn "il davanti di %1") | relations-it.txt 114-114 | |
(format JapaneseLanguage FrontFn "%1 の front") | japanese_format.kif 1976-1976 | |
(format PortugueseLanguage FrontFn " afrente de %1") | portuguese_format.kif 100-100 | |
(format de FrontFn "die frontseite von %1") | relations-de.txt 333-333 | |
(format hi FrontFn "%1 ke sammukha kaa") | relations-hindi.txt 154-154 | |
(format ro FrontFn "front%t{faþa} lui %1") | relations-ro.kif 167-167 | |
(format sv FrontFn "framsidan av %1") | relations-sv.txt 154-154 | |
(format tg FrontFn "ang bungad sa %1") | relations-tg.txt 238-238 | |
(termFormat ChineseLanguage FrontFn "挪前函数") | chinese_format.kif 260-260 | |
(termFormat ChineseLanguage FrontFn "面前") | domainEnglishFormat.kif 25110-25110 | |
(termFormat ChineseTraditionalLanguage FrontFn "面前") | domainEnglishFormat.kif 25109-25109 | |
(termFormat EnglishLanguage FrontFn "front") | domainEnglishFormat.kif 25108-25108 | |
(termFormat de FrontFn "FrontseiteFn") | terms-de.txt 106-106 | |
(termFormat tg FrontFn "tungkulin ng bungad") | relations-tg.txt 239-239 |
antecedent |
(=> (and (instance ?F Face) (part ?F ?P) (equal ?B (FrontFn ?P))) (part ?F ?B)) |
Mid-level-ontology.kif 13128-13134 |
consequent |
(=> (and (albumCoverImage ?A ?I) (instance ?CD (AlbumCopiesFn ?A ?DS)) (contains ?C ?CD)) (modalAttribute (part ?I (FrontFn ?C)) Likely)) |
Music.kif 316-322 | |
(=> (and (instance ?B Breast) (instance ?H Human) (part ?B ?H)) (part ?B (FrontFn ?H))) |
Mid-level-ontology.kif 13066-13072 | |
(=> (instance ?B Breast) (exists (?T) (and (instance ?T Torso) (part ?B (FrontFn ?T))))) |
Mid-level-ontology.kif 13051-13057 | |
(=> (instance ?L Headlight) (exists (?V) (and (instance ?V Vehicle) (part ?L (FrontFn ?V))))) |
Mid-level-ontology.kif 3071-3076 | |
(=> (instance ?OBJ SelfConnectedObject) (side (FrontFn ?OBJ) ?OBJ)) |
Merge.kif 891-893 | |
(=> (instance ?W Windshield) (exists (?A) (and (instance ?A RoadVehicle) (part ?W (FrontFn ?A))))) |
Mid-level-ontology.kif 3451-3456 |