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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MakingFn
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 16976-16977
(domainSubclass MakingFn 1 Making) Merge.kif 16974-16974 domainSubclass MakingFn, 1 and Making
(instance MakingFn UnaryFunction) Merge.kif 16973-16973 instance MakingFn and UnaryFunction
(rangeSubclass MakingFn Object) Merge.kif 16975-16975 rangeSubclass MakingFn and Object

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


(format ChineseLanguage MakingFn "%1 的 making ") domainEnglishFormat.kif 3807-3807
(format ChineseTraditionalLanguage MakingFn "%1 的 making ") domainEnglishFormat.kif 3806-3806
(format EnglishLanguage MakingFn "the making of %1") domainEnglishFormat.kif 3805-3805

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


(=>
    (instance ?X
        (MakingFn ?Y))
    (exists (?OBJECT)
        (and
            (instance ?OBJECT ?Y)
            (result ?X ?OBJECT))))
Merge.kif 16979-16984


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