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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MakingFn

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 18213-18214
(domainSubclass MakingFn 1 Making) Merge.kif 18211-18211
(instance MakingFn UnaryFunction) Merge.kif 18210-18210
(rangeSubclass MakingFn Object) Merge.kif 18212-18212

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


(format ChineseLanguage MakingFn "%1 的 making ") domainEnglishFormat.kif 3810-3810
(format ChineseTraditionalLanguage MakingFn "%1 的 making ") domainEnglishFormat.kif 3809-3809
(format EnglishLanguage MakingFn "the making of %1") domainEnglishFormat.kif 3808-3808
(termFormat EnglishLanguage MakingFn "Making fn") domainEnglishFormat.kif 65421-65421

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


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


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