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 18560-18561
(domainSubclass MakingFn 1 Making) Merge.kif 18558-18558 The number 1 argument of Making fn is a subclass of making
(instance MakingFn UnaryFunction) Merge.kif 18557-18557 Making fn is an instance of unary function
(rangeSubclass MakingFn Object) Merge.kif 18559-18559 The values returned by Making fn are subclasses of object

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


(format ChineseLanguage MakingFn "%1 的 making ") domainEnglishFormat.kif 3804-3804
(format ChineseTraditionalLanguage MakingFn "%1 的 making ") domainEnglishFormat.kif 3803-3803
(format EnglishLanguage MakingFn "the making of %1") domainEnglishFormat.kif 3802-3802
(termFormat EnglishLanguage MakingFn "Making fn") domainEnglishFormat.kif 65134-65134

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


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


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