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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - resultType
resultType

appearance as argument number 1
-------------------------


(documentation resultType EnglishLanguage "(resultType ?PROCESS ?TYPE) means that the Process ?PROCESS produces some result(s) of the type ?TYPE.") Economy.kif 1685-1686
(domain resultType 1 Process) Economy.kif 1682-1682 The number 1 argument of result type is an instance of process
(domainSubclass resultType 2 Object) Economy.kif 1683-1683 The number 2 argument of result type is a subclass of object
(instance resultType BinaryPredicate) Economy.kif 1681-1681 result type is an instance of binary predicate

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


(format ChineseLanguage resultType "%2 %n 是 %1 的 result 类别") domainEnglishFormat.kif 2159-2159
(format ChineseTraditionalLanguage resultType "%2 %n 是 %1 的 result 類別") domainEnglishFormat.kif 2158-2158
(format EnglishLanguage resultType "%2 is %n a result type of %1") domainEnglishFormat.kif 2157-2157
(termFormat ChineseLanguage resultType "结果类型") domainEnglishFormat.kif 49802-49802
(termFormat ChineseTraditionalLanguage resultType "結果類型") domainEnglishFormat.kif 49801-49801
(termFormat EnglishLanguage resultType "result type") domainEnglishFormat.kif 49800-49800

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


(=>
    (resultType ?PROCESS ?TYPE)
    (exists (?ITEM)
        (and
            (instance ?ITEM ?TYPE)
            (result ?PROCESS ?ITEM))))
Economy.kif 1688-1693


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