TreeView Knowledge Base Browser - ChemicalSynthesis

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

ChemicalSynthesis

Sigma KEE - ChemicalSynthesis

ChemicalSynthesis(chemical synthesis)

anamorphism, association, autophytic, autotrophic, biosynthetic, breathe, build, butylate, carbonate, carbonise, carbonize, carburise, carburize, catabolise, catabolize, chelate, chelation, chemosynthesis, chlorination, cold_fusion, compounded, corrode, eat, exchange, fusion, hydrogenate, iodinating, iodination, iodise, iodize, ligate, nitrate, nuclear_fusion, nuclear_fusion_reaction, nucleosynthesis, oxidate, oxidise, oxidize, polymerisation, polymerization, prechlorination, react, rust, solvation, synthesis, synthesise, synthesize, synthetically, thermonuclear_reaction, uncompounded...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3185-3186
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12570-12571
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12568-12568	Chemical synthesis is a subclass of chemical process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12569-12569	Chemical synthesis is a subclass of combining

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12550-12550	Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10125-10125	Anabolic process is a subclass of chemical synthesis
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19587-19587	Chemical reduction is a subclass of chemical synthesis
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1170-1170
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1557-1557
No TPTP formula. May not be expressible in strict first order.	french_format.kif 848-848
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 380-380
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 383-383
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2532-2532
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 800-800
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 419-419
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 869-869
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 384-384

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 12593-12602

If an object is an instance of elemental substance and another object is an instance of elemental substance and the object is not equal to the other object and a process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and an entity is a result of the process,
then the entity is an instance of compound substance

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6472-6482	An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12573-12579	If an object is a resource for a process and an entity is a result of the process and the object is an instance of elemental substance and the entity is an instance of compound substance, then the process is an instance of chemical synthesis
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12581-12591	If an entity is an instance of compound substance, then there exist an object, another object and a process such that the object is an instance of elemental substance and the other object is an instance of elemental substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8781-8790	If an entity is an instance of salt, then there exist a process, an object and another object such that the process is an instance of chemical synthesis and the object is a resource for the process and the object is an instance of sodium and the other object is a resource for the process and the other object is an instance of chlorine and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8809-8818	If an entity is an instance of water, then there exist a process, an object and another object such that the process is an instance of chemical synthesis and the object is a resource for the process and the object is an instance of hydrogen and the other object is a resource for the process and the other object is an instance of oxygen and the entity is a result of the process

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