SyntheticSubstance - Sigma Knowledge base Browser

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 1062-1063
(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 1060-1060	Synthetic substance is a subclass of substance

appearance as argument number 2

(partition Substance SyntheticSubstance NaturalSubstance)	Merge.kif 1036-1036	Substance is exhaustively partitioned into synthetic substance and natural substance
(termFormat ChineseLanguage SyntheticSubstance "合成物质")	domainEnglishFormat.kif 56662-56662	Substance is exhaustively partitioned into synthetic substance and natural substance
(termFormat ChineseTraditionalLanguage SyntheticSubstance "合成物質")	domainEnglishFormat.kif 56661-56661	Substance is exhaustively partitioned into synthetic substance and natural substance
(termFormat EnglishLanguage SyntheticSubstance "synthetic substance")	domainEnglishFormat.kif 56660-56660	Substance is exhaustively partitioned into synthetic substance and natural substance

antecedent

(=>
    (instance ?SUBSTANCE SyntheticSubstance)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS IntentionalProcess)
            (result ?PROCESS ?SUBSTANCE)
            (instance ?SUBSTANCE Substance))))

Merge.kif 1065-1071