TreeView Knowledge Base Browser - SyntheticSubstance

appearance as argument number 1

(subclass SyntheticSubstance Substance)	Merge.kif 1140-1140	Synthetic substance is a subclass of substance
(documentation SyntheticSubstance EnglishLanguage "Any Substance that is the result of an IntentionalProcess, i.e. any substance that is created by Humans.")	Merge.kif 1142-1143	Synthetic substance is a subclass of substance
(externalImage SyntheticSubstance "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 42/ Azul_e_Branco.JPG")	pictureList.kif 919-919	Synthetic substance is a subclass of substance

appearance as argument number 2

(partition Substance SyntheticSubstance NaturalSubstance)	Merge.kif 1116-1116	Substance is exhaustively partitioned into synthetic substance and natural substance
(termFormat EnglishLanguage SyntheticSubstance "synthetic substance")	domainEnglishFormat.kif 56624-56624	Substance is exhaustively partitioned into synthetic substance and natural substance
(termFormat ChineseTraditionalLanguage SyntheticSubstance "合成物質")	domainEnglishFormat.kif 56625-56625	Substance is exhaustively partitioned into synthetic substance and natural substance
(termFormat ChineseLanguage SyntheticSubstance "合成物质")	domainEnglishFormat.kif 56626-56626	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))))

If X is an instance of synthetic substance, then there exists Y such that Y is an instance of intentional process, X is a result of Y, and X is an instance of substance