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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MakingFn

appearance as argument number 1

(documentation MakingFn ChineseLanguage "这是用来代表建立一样 ObjectFunction 。") chinese_format.kif 4055-4055
(documentation MakingFn EnglishLanguage "A Function that denotes the creation of an Object.") Merge.kif 18373-18374
(domainSubclass MakingFn 1 Making) Merge.kif 18371-18371 MakingFn 的 1 数量 是 制作subclass
(instance MakingFn UnaryFunction) Merge.kif 18370-18370 MakingFn一元函数instance
(rangeSubclass MakingFn Object) Merge.kif 18372-18372 MakingFn 的所得值 是 客体subclass

appearance as argument number 2

(format ChineseLanguage MakingFn "%1 的 making ") domainEnglishFormat.kif 3806-3806
(format ChineseTraditionalLanguage MakingFn "%1 的 making ") domainEnglishFormat.kif 3805-3805
(format EnglishLanguage MakingFn "the making of %1") domainEnglishFormat.kif 3804-3804
(termFormat EnglishLanguage MakingFn "Making fn") domainEnglishFormat.kif 65140-65140


    (instance ?X
        (MakingFn ?Y))
    (exists (?OBJECT)
            (instance ?OBJECT ?Y)
            (result ?X ?OBJECT))))
Merge.kif 18376-18381

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 3.0 is open source software produced by Articulate Software and its partners