Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BackFn
BackFn

appearance as argument number 1
-------------------------


(documentation BackFn ChineseLanguage "这个 FunctionObject 转到 与 这个 ObjectFrontFn 相反的那面。注:这是一个部分函数, 因为有一些 Object 是没有侧面的,例如苹果和球体。 也要注意 这个 Functionrange 是无限的,就像 ImmediateFutureFnImmediatePastFn 一样也是无限的。从理论的观点来说,虽然这个无限性并不理想,但它没有太大的实际影响,因为在共同意思间对于最常见 的情况已经达成广泛的共识。") 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 863-870
(domain BackFn 1 SelfConnectedObject) Merge.kif 860-860 The number 1 argument of back is an instance of self connected object
(instance BackFn AsymmetricRelation) Merge.kif 858-858 Back is an instance of asymmetric relation
(instance BackFn IrreflexiveRelation) Merge.kif 859-859 Back is an instance of irreflexive relation
(instance BackFn PartialValuedRelation) Merge.kif 856-856 Back is an instance of partial valued relation
(instance BackFn SpatialRelation) Merge.kif 855-855 Back is an instance of spatial relation
(instance BackFn UnaryFunction) Merge.kif 857-857 Back is an instance of unary function
(range BackFn SelfConnectedObject) Merge.kif 861-861 The range of back is an instance of self connected object

appearance as argument number 2
-------------------------


(format ChineseLanguage BackFn "%1 的后面") chinese_format.kif 255-255
(format EnglishLanguage BackFn "the back of %1") english_format.kif 258-258
(termFormat ChineseLanguage BackFn "挪后函数") chinese_format.kif 256-256 "挪后函数" is the printable form of back in ChineseLanguage
(termFormat ChineseLanguage BackFn "背部") domainEnglishFormat.kif 9523-9523 "背部" is the printable form of back in ChineseLanguage
(termFormat ChineseTraditionalLanguage BackFn "背部") domainEnglishFormat.kif 9522-9522 "背部" is the printable form of back in ChineseTraditionalLanguage
(termFormat EnglishLanguage BackFn "back") domainEnglishFormat.kif 9521-9521 "back" is the printable form of back in english language

consequent
-------------------------


(=>
    (instance ?L Taillight)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?L
                (BackFn ?V)))))
Mid-level-ontology.kif 3626-3631
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (BackFn ?OBJ) ?OBJ))
Merge.kif 872-874
(=>
    (instance ?W RearWindow)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (BackFn ?A)))))
Mid-level-ontology.kif 12893-12898


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners