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 一样也是无限的。从理论的观点来说,虽然这个无限性并不理想,但它没有太大的实际影响,因为在共同意思间对于最常见 的情况已经达成广泛的共识。") Merge.kif 1372-1376
(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 1363-1370
(documentation BackFn JapaneseLanguage "Function は、ObjectFrontFn の反対側に マップされている。注:これは 一部の Objects に側面がない為、部分的関数である。例:リンゴと球。 ImmediateFutureFnImmediatePastFn が無限であるように、この Functionrange も 無限であることにも注意する。 最も一般的な事例についての広範な主観間合意がある為、この不明確さは 理論的な観点からは望ましくないが、重要な実用的意義を持たない。") Merge.kif 1378-1382
(domain BackFn 1 SelfConnectedObject) Merge.kif 1360-1360 BackFn の数値 1 引数は 自己接続オブジェクトinstance では %n
(instance BackFn AsymmetricRelation) Merge.kif 1358-1358 BackFn非対称関係instance では %n
(instance BackFn IrreflexiveRelation) Merge.kif 1359-1359 BackFn非反射関係instance では %n
(instance BackFn PartialValuedRelation) Merge.kif 1356-1356 BackFn部分的価値関係instance では %n
(instance BackFn SpatialRelation) Merge.kif 1355-1355 BackFn空間的関係instance では %n
(instance BackFn UnaryFunction) Merge.kif 1357-1357 BackFn1変数関数instance では %n
(range BackFn SelfConnectedObject) Merge.kif 1361-1361 BackFnrange自己接続オブジェクト のインスタンス では %n

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


(format ChineseLanguage BackFn "%1 的后面") chinese_format.kif 255-255
(format EnglishLanguage BackFn "the back of %1") english_format.kif 357-357
(format JapaneseLanguage BackFn "%1 の back") english_format.kif 358-358
(termFormat ChineseLanguage BackFn "挪后函数") chinese_format.kif 256-256 termFormat ChineseLanguage, BackFn and "挪后函数"
(termFormat ChineseLanguage BackFn "背部") domainEnglishFormat.kif 9523-9523 termFormat ChineseLanguage, BackFn and "背部"
(termFormat ChineseTraditionalLanguage BackFn "背部") domainEnglishFormat.kif 9522-9522 termFormat ChineseTraditionalLanguage, BackFn and "背部"
(termFormat EnglishLanguage BackFn "back") domainEnglishFormat.kif 9521-9521 termFormat EnglishLanguage, BackFn and "back"

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


(=>
    (instance ?L Taillight)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?L
                (BackFn ?V)))))
Mid-level-ontology.kif 3630-3635
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (BackFn ?OBJ) ?OBJ))
Merge.kif 1394-1396
(=>
    (instance ?W RearWindow)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (BackFn ?A)))))
Mid-level-ontology.kif 12895-12900


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