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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BackFn

 Sigma KEE - BackFn
BackFn

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 901-908
(documentation BackFn JapaneseLanguage "Function は、Object の FrontFn の反対側に マップされている。注：これは 一部の Objects に側面がない為、部分的関数である。例：リンゴと球。 ImmediateFutureFn と ImmediatePastFn が無限であるように、この Function の range も 無限であることにも注意する。 最も一般的な事例についての広範な主観間合意がある為、この不明確さは 理論的な観点からは望ましくないが、重要な実用的意義を持たない。") japanese_format.kif 138-142
(domain BackFn 1 SelfConnectedObject) Merge.kif 898-898 挪后函数 的 1 数量 是 自身连接物体 的 instance
(instance BackFn PartialValuedRelation) Merge.kif 896-896 挪后函数 是 部分值关系 的 instance
(instance BackFn SpatialRelation) Merge.kif 895-895 挪后函数 是 空间关系 的 instance
(instance BackFn UnaryFunction) Merge.kif 897-897 挪后函数 是 一元函数 的 instance
(range BackFn SelfConnectedObject) Merge.kif 899-899 挪后函数 的 range 是 自身连接物体 的实例

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
(format FrenchLanguage BackFn "le derri�re de %1") french_format.kif 146-146
(format ItalianLanguage BackFn "il dietro di %1") relations-it.txt 31-31
(format JapaneseLanguage BackFn "%1 の back") japanese_format.kif 1974-1974
(format PortugueseLanguage BackFn " atras de %1") portuguese_format.kif 98-98
(format cb BackFn "ang likod sa %1") relations-cb.txt 65-65
(format de BackFn "die rueckseite von %1") relations-de.txt 328-328
(format hi BackFn "%1 kaa piichhalaa-bhaaga") relations-hindi.txt 75-75
(format ro BackFn "back%t{spatele} lui %1") relations-ro.kif 165-165
(format sv BackFn "baksidan av %1") relations-sv.txt 152-152
(format tg BackFn "ang likod ng %1") relations-tg.txt 78-78
(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
(termFormat de BackFn "RueckseiteFn") terms-de.txt 104-104
(termFormat tg BackFn "tungkulin ng likod") relations-tg.txt 79-79

antecedent
-------------------------


(=>
    (and
        (holdsDuring ?T
            (and
                (attribute ?H Supine)
                (orientation ?H ?O On)))
        (equal ?B
            (BackFn ?H)))
    (meetsSpatially ?B ?O))		 Anatomy.kif 1814-1821
(=>
    (and
        (instance ?C Chest)
        (part ?C ?P)
        (equal ?B
            (BackFn ?P)))
    (not
        (part ?C ?B)))		 Anatomy.kif 1823-1830
(=>
    (and
        (instance ?F Face)
        (part ?F ?P)
        (equal ?B
            (BackFn ?P)))
    (not
        (part ?F ?B)))		 Mid-level-ontology.kif 13119-13126

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


(=>
    (instance ?B HumanBack)
    (exists (?P ?T)
        (and
            (instance ?P Human)
            (instance ?T Torso)
            (part ?T ?P)
            (equal ?B
                (BackFn ?T)))))		 Medicine.kif 5659-5666
(=>
    (instance ?L Taillight)
    (exists (?V)
        (and
            (instance ?V Vehicle)
            (part ?L
                (BackFn ?V)))))		 Mid-level-ontology.kif 3082-3087
(=>
    (instance ?OBJ SelfConnectedObject)
    (side
        (BackFn ?OBJ) ?OBJ))		 Merge.kif 910-912
(=>
    (instance ?W RearWindow)
    (exists (?A)
        (and
            (instance ?A RoadVehicle)
            (part ?W
                (BackFn ?A)))))		 Mid-level-ontology.kif 15423-15428


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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