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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SyntheticSubstance
SyntheticSubstance(合成物质)

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


(documentation SyntheticSubstance ChineseLanguage "这是任何由 IntentionalProcess 所造成的 Substance , 也就是任何由 Humans 所制造的物质。") chinese_format.kif 1591-1592
(documentation SyntheticSubstance EnglishLanguage "Any Substance that is the result of an IntentionalProcess, i.e. any substance that is created by Humans.") Merge.kif 1069-1070
(documentation SyntheticSubstance JapaneseLanguage "IntentionalProcess の結果である任意の Substance。例えば、Humans によって作成される任意の物質など。") japanese_format.kif 170-171
(documentation SyntheticSubstance SpanishLanguage "Cualquiera Substance que es el resultado de un IntentionalProcess, por ejemplo, cualquiera sustancia que se crea por Humans.") spanish_format.kif 200-202
(externalImage SyntheticSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 42/ Azul_e_Branco.JPG") pictureList.kif 919-919
(subclass SyntheticSubstance Substance) Merge.kif 1067-1067 合成物质物质subclass

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


(partition Substance SyntheticSubstance NaturalSubstance) Merge.kif 1043-1043 物质 详尽无遗地 partition合成物质天然物质
(termFormat ChineseLanguage SyntheticSubstance "合成物质") domainEnglishFormat.kif 56629-56629
(termFormat ChineseTraditionalLanguage SyntheticSubstance "合成物質") domainEnglishFormat.kif 56628-56628
(termFormat EnglishLanguage SyntheticSubstance "synthetic substance") domainEnglishFormat.kif 56627-56627

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


(=>
    (instance ?SUBSTANCE SyntheticSubstance)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (result ?PROCESS ?SUBSTANCE)
            (instance ?SUBSTANCE Substance))))
Merge.kif 1072-1078


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