BackFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation BackFn ChineseLanguage "这个 Function 把 Object 转到与这个 Object 的 FrontFn 相反的那面。注：这是一个部分函数，因为有一些 Object 是没有侧面的，例如苹果和球体。也要注意这个 Function 的 range 是无限的，就像 ImmediateFutureFn 和 ImmediatePastFn 一样也是无限的。从理论的观点来说，虽然这个无限性并不理想，但它没有太大的实际影响，因为在共同意思间对于最常见的情况已经达成广泛的共识。")	chinese_format.kif 1565-1569
(documentation BackFn EnglishLanguage "A Function that maps an Object to the side that is opposite the FrontFn of the Object. 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 895-902
(domain BackFn 1 SelfConnectedObject)	Merge.kif 892-892
(instance BackFn PartialValuedRelation)	Merge.kif 890-890
(instance BackFn SpatialRelation)	Merge.kif 889-889
(instance BackFn UnaryFunction)	Merge.kif 891-891
(range BackFn SelfConnectedObject)	Merge.kif 893-893

appearance as argument number 2

(format ChineseLanguage BackFn "%1 的后面")	chinese_format.kif 255-255
(format EnglishLanguage BackFn "the back of %1")	english_format.kif 255-255
(termFormat ChineseLanguage BackFn "挪后函数")	chinese_format.kif 256-256
(termFormat ChineseLanguage BackFn "背部")	domainEnglishFormat.kif 9518-9518
(termFormat ChineseTraditionalLanguage BackFn "背部")	domainEnglishFormat.kif 9517-9517
(termFormat EnglishLanguage BackFn "back")	domainEnglishFormat.kif 9516-9516

antecedent

(=>
    (and
        (instance ?F Face)
        (part ?F ?P)
        (equal ?B
            (BackFn ?P)))
    (not
        (part ?F ?B)))

Mid-level-ontology.kif 12748-12755

consequent

(=> (instance ?L Taillight) (exists (?V) (and (instance ?V Vehicle) (part ?L (BackFn ?V)))))	Mid-level-ontology.kif 3054-3059
(=> (instance ?OBJ SelfConnectedObject) (side (BackFn ?OBJ) ?OBJ))	Merge.kif 904-906
(=> (instance ?W RearWindow) (exists (?A) (and (instance ?A RoadVehicle) (part ?W (BackFn ?A)))))	Mid-level-ontology.kif 15051-15056