| 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 12611-12618 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12610-12610 | 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 12637-12637 | Separating is disjoint from combining |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2630-2630 | Acidifying is a subclass of combining |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2359-2359 | Aerating is a subclass of combining |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12677-12677 | Chemical synthesis is a subclass of combining |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3051-3051 | Salinifying is a subclass of combining |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19080-19080 | 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 12620-12627 | 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 12629-12634 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2140-2147 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2349-2357 |
|
|
|
|