Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| (subclass Combining DualObjectProcess) | Merge.kif 12746-12746 | Combining is a subclass of dual object process |
| (documentation Combining EnglishLanguage "A Process where two or more SelfConnectedObjects are incorporated into a single SelfConnectedObject. Note that Combining is different from Attaching in that the former results in one of the objects being part of the other, while Attaching only results in the two objects being connected with one another. Note too that Combining is different from Putting in that one or both of the two things which are combined may or may not be moved from the location where they were combined.") | Merge.kif 12747-12754 | Combining is a subclass of dual object process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (<=> (and (instance ?COMBINE Combining) (resource ?COMBINE ?OBJ1) (result ?COMBINE ?OBJ2)) (and (holdsDuring (BeginFn (WhenFn ?COMBINE)) (not (part ?OBJ1 ?OBJ2))) (holdsDuring (EndFn (WhenFn ?COMBINE)) (part ?OBJ1 ?OBJ2)))) |
Merge.kif 12756-12763 | X is an instance of combining, Y is a resource for X, Z is a result of X if, only if Y is not a part of Z holds during the beginning of the time of existence of X, and Y is a part of Z holds during the end of the time of existence of X |
| (=> (instance ?COMBINE Combining) (exists (?OBJ) (and (instance ?OBJ SelfConnectedObject) (patient ?COMBINE ?OBJ)))) |
Merge.kif 12765-12770 | If X is an instance of combining, then there exists Y such that Y is an instance of self connected object and Y is a patient of X |
| consequent |
|
|
| (=> (instance ?AERATOR Aerator) (hasPurpose ?AERATOR (exists (?COMBINE ?AIR) (and (instance ?COMBINE Combining) (resource ?COMBINE ?AIR) (instance ?AIR Air) (instrument ?COMBINE ?AERATOR))))) |
Mid-level-ontology.kif 2461-2469 | If X is an instance of aerator, then X has the purpose there exist Y, Z such that Y is an instance of combining, Z is a resource for Y, Z is an instance of air, and X is an instrument for Y |
| (=> (and (instance ?P ProductAssembly) (eventLocated ?P ?X) (instance ?X AssemblyStation)) (or (instance ?P Attaching) (instance ?P Combining))) |
Economy.kif 2135-2142 | If X is an instance of Product assembly, X is located at Y, and Y is an instance of assembly station, then X is an instance of attaching or X is an instance of combining |
|