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

Formal Language: 



KB Term:  Term intersection
English Word: 

  resultType

 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 结果类型 的 1 数量 是 过程 的 instance
(domainSubclass resultType 2 Object) Economy.kif 1683-1683 结果类型 的 2 数量 是 客体 的 subclass
(instance resultType BinaryPredicate) Economy.kif 1681-1681 结果类型 是 二元谓语 的 instance

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 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