TreeView Knowledge Base Browser - ChemicalProcess

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ChemicalProcess

Sigma KEE - ChemicalProcess

ChemicalProcess(chemical process)

Acheson_process, Haber-Bosch_process, Haber_process, Solvay_process, acetify, acetylate, acetylation, acetylise, acetylize, acidify, activate, acylation, addition_reaction, aerate, agglutinating_activity, agglutination, alchemise, alchemize, alcoholise, alcoholize, aldol_reaction, alkalify, alkalinise, alkalinize, alkalise, alkalize, alloy, amylolysis, amylolytic, anabolic, aurify, autocatalysis, autocatalytic, basify, biochemical, brisance, bromate, brominate, calcify, calcination, calcine, capture, carbon_cycle, carbonise, carbonize, catalyse, catalysis, catalytic, catalyze, chain_reaction...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3181-3184
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12527-12534
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12526-12526	Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12525-12525	Chemical process is a subclass of internal change

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12580-12580	Chemical decomposition is a subclass of chemical process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12544-12544	Chemical synthesis is a subclass of chemical process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10080-10080	Metabolising is a subclass of chemical process
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1169-1169
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1555-1555
No TPTP formula. May not be expressible in strict first order.	french_format.kif 847-847
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 379-379
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 382-382
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2531-2531
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 799-799
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 384-384
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 418-418
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 868-868
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 383-383

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 254-254	The number 1 argument of catalyst is an instance of chemical process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8795-8795	The number 1 argument of reactant is an instance of chemical process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8802-8802	The number 1 argument of reagent is an instance of chemical process

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8725-8735	If an entity is an instance of chemical acid and another entity is an instance of chemical base and a process is an instance of chemical process and the entity is a patient of the process and the other entity is a patient of the process, then there exists the processS such that the processS is an instance of salt and the processS is a result of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12536-12542	If a process is an instance of chemical process and an object is a resource for the process or the object is a result of the process, then the object is an instance of pure substance

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15835-15840	If a process is an instance of explosion, then there exists another process such that the other process is an instance of chemical process and the other process causes the process
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 257-259	If an object is an instance of enzyme, then the object is capable of doing chemical process as a catalyst
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19630-19632	If an entity the attribute chemical equilibrium, then the entity is an instance of chemical 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