Combining - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Combining

Combining(combining)

Agenise, Agenize, absorb, activate, add_on, admix, admixture, adsorb, aerate, agglomeration, agglutination, alcoholise, alcoholize, alloy, amalgamate, amalgamative, ammoniate, ammonify, assimilate, bale, bark, begrime, bemire, bituminise, bituminize, blend, blend_in, blended, blending, bloody, bolster, break_up, bromate, brominate, buckram, buffer, build_in, butt-weld, buttweld, camphorate, carbonate, carboxylate, carburet, charge, chemisorb, chlorinate, chrome, clap_on, clog, close...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3174-3177
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12596-12603
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12595-12595	Combining is a subclass of dual object process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12622-12622	Separating is disjoint from combining
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2460-2460	Acidifying is a subclass of combining
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2358-2358	Aerating is a subclass of combining
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12662-12662	Chemical synthesis is a subclass of combining
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2881-2881	Salinifying is a subclass of combining
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19097-19097	Stirring is a subclass of combining
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1167-1167	Stirring is a subclass of combining
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1551-1551	Stirring is a subclass of combining
No TPTP formula. May not be expressible in strict first order.	french_format.kif 845-845	Stirring is a subclass of combining
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 377-377	Stirring is a subclass of combining
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 380-380	Stirring is a subclass of combining
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2529-2529	Stirring is a subclass of combining
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 797-797	Stirring is a subclass of combining
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 382-382	Stirring is a subclass of combining
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 416-416	Stirring is a subclass of combining
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 675-675	Stirring is a subclass of combining
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 866-866	Stirring is a subclass of combining
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 381-381	Stirring is a subclass of combining

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12605-12612	A process is an instance of combining and an object is a resource for the process and an entity is a result of the process if and only if the object is not a part of the entity holds during the beginning of the time of existence of the process and the object is a part of the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12614-12619	If a process is an instance of combining, then there exists an entity such that the entity is an instance of self connected object and the entity is a patient of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2140-2147	If a process is an instance of Product assembly and the process is located at an object and the object is an instance of assembly station, then the process is an instance of attaching or the process is an instance of combining
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2348-2356	If a physical is an instance of aerator, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of combining and the other entity is a resource for the entity and the other entity is an instance of air and the physical is an instrument for the entity

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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