TreeView Knowledge Base Browser

appearance as argument number 1

(documentation ChemicalSynthesis ChineseLanguage "这是当简单反应物组成 CompoundSubstance 的 ChemicalProcess Class。")	chinese_format.kif 3185-3186
(documentation ChemicalSynthesis EnglishLanguage "The Class of ChemicalProcesses in which a CompoundSubstance is formed from simpler reactants.")	Merge.kif 12546-12547
(subclass ChemicalSynthesis ChemicalProcess)	Merge.kif 12544-12544	SintesiChimica è una sottoclasse di ProcessoChimico
(subclass ChemicalSynthesis Combining)	Merge.kif 12545-12545	SintesiChimica è una sottoclasse di Combinare

appearance as argument number 2

(partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition)	Merge.kif 12526-12526	ProcessoChimico è esaustivamente partizionato in SintesiChimica + DecomposizioneChimica
(subclass AnabolicProcess ChemicalSynthesis)	Mid-level-ontology.kif 10097-10097	AnabolicProcess è una sottoclasse di SintesiChimica
(subclass ChemicalReduction ChemicalSynthesis)	Mid-level-ontology.kif 19559-19559	ChemicalReduction è una sottoclasse di SintesiChimica
(termFormat ChineseLanguage ChemicalSynthesis "化学合成")	chinese_format.kif 1170-1170
(termFormat EnglishLanguage ChemicalSynthesis "chemical synthesis")	english_format.kif 1557-1557
(termFormat FrenchLanguage ChemicalSynthesis "synth�se chimique")	french_format.kif 848-848
(termFormat Hindi ChemicalSynthesis "raasaayanika sanyojana")	terms-hindi.txt 380-380
(termFormat ItalianLanguage ChemicalSynthesis "SintesiChimica")	terms-it.txt 383-383
(termFormat JapaneseLanguage ChemicalSynthesis "化学合成")	japanese_format.kif 2532-2532
(termFormat PortugueseLanguage ChemicalSynthesis "Sintese Quimica")	portuguese_format.kif 800-800
(termFormat cz ChemicalSynthesis "chemical synthesis")	terms-cz.txt 419-419
(termFormat ro ChemicalSynthesis "sintezã chimicã")	relations-ro.kif 869-869
(termFormat tg ChemicalSynthesis "kathang kimikal")	terms-tg.txt 384-384

antecedent

(=>
    (and
        (instance ?ELEMENT1 ElementalSubstance)
        (instance ?ELEMENT2 ElementalSubstance)
        (not
            (equal ?ELEMENT1 ?ELEMENT2))
        (instance ?PROCESS ChemicalSynthesis)
        (resource ?PROCESS ?ELEMENT1)
        (resource ?PROCESS ?ELEMENT2)
        (result ?PROCESS ?COMPOUND))
    (instance ?COMPOUND CompoundSubstance))

Merge.kif 12569-12578

Oggetto è un' istanza di SostanzaElementare Oggetto è un' istanza di SostanzaElementare Oggetto is uguale a Oggetto Processo è un' istanza di SintesiChimica Oggetto è una risorsa per Processo Oggetto è una risorsa per Processo Entit� è un risultato di Processo
Entit� è un' istanza di Composto

consequent

(<=> (instance ?CS ConjugatedSubstance) (exists (?C1 ?C2 ?P) (and (instance ?C1 CompoundSubstance) (instance ?C2 CompoundSubstance) (not (equal ?C1 ?C2)) (instance ?P ChemicalSynthesis) (resource ?P ?C1) (resource ?P ?C2) (result ?P ?CS))))	Mid-level-ontology.kif 6477-6487	Entit� è un' istanza di ConjugatedSubstance Oggetto Oggetto and Processo Oggetto è un' istanza di Composto Oggetto è un' istanza di Composto Oggetto is uguale a Oggetto Processo è un' istanza di SintesiChimica Oggetto è una risorsa per Processo Oggetto è una risorsa per Processo Entit� è un risultato di Processo
(=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 ElementalSubstance) (instance ?SUBSTANCE2 CompoundSubstance)) (instance ?PROC ChemicalSynthesis))	Merge.kif 12549-12555	Oggetto è una risorsa per Processo Entit� è un risultato di Processo Oggetto è un' istanza di SostanzaElementare Entit� è un' istanza di Composto Processo è un' istanza di SintesiChimica
(=> (instance ?COMPOUND CompoundSubstance) (exists (?ELEMENT1 ?ELEMENT2 ?PROCESS) (and (instance ?ELEMENT1 ElementalSubstance) (instance ?ELEMENT2 ElementalSubstance) (not (equal ?ELEMENT1 ?ELEMENT2)) (instance ?PROCESS ChemicalSynthesis) (resource ?PROCESS ?ELEMENT1) (resource ?PROCESS ?ELEMENT2) (result ?PROCESS ?COMPOUND))))	Merge.kif 12557-12567	Entit� è un' istanza di Composto Oggetto Oggetto and Processo Oggetto è un' istanza di SostanzaElementare Oggetto è un' istanza di SostanzaElementare Oggetto is uguale a Oggetto Processo è un' istanza di SintesiChimica Oggetto è una risorsa per Processo Oggetto è una risorsa per Processo Entit� è un risultato di Processo
(=> (instance ?SALT SodiumChloride) (exists (?SYNTHESIS ?SODIUM ?CHLORINE) (and (instance ?SYNTHESIS ChemicalSynthesis) (resource ?SYNTHESIS ?SODIUM) (instance ?SODIUM Sodium) (resource ?SYNTHESIS ?CHLORINE) (instance ?CHLORINE Chlorine) (result ?SYNTHESIS ?SALT))))	Mid-level-ontology.kif 8753-8762	Entit� è un' istanza di SodiumChloride Processo Oggetto and Oggetto Processo è un' istanza di SintesiChimica Oggetto è una risorsa per Processo Oggetto è un' istanza di Sodium Oggetto è una risorsa per Processo Oggetto è un' istanza di Chlorine Entit� è un risultato di Processo
(=> (instance ?WATER Water) (exists (?SYNTHESIS ?HYDROGEN ?OXYGEN) (and (instance ?SYNTHESIS ChemicalSynthesis) (resource ?SYNTHESIS ?HYDROGEN) (instance ?HYDROGEN Hydrogen) (resource ?SYNTHESIS ?OXYGEN) (instance ?OXYGEN Oxygen) (result ?SYNTHESIS ?WATER))))	Mid-level-ontology.kif 8781-8790	Entit� è un' istanza di Acqua Processo Oggetto and Oggetto Processo è un' istanza di SintesiChimica Oggetto è una risorsa per Processo Oggetto è un' istanza di Hydrogen Oggetto è una risorsa per Processo Oggetto è un' istanza di Oxygen Entit� è un risultato di Processo

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

KB Term:			Term intersection

English Word: